A SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY

被引：0
|
作者：
VALENTINI, S
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：707 / 708
页数：2
相关论文
共 50 条
  • [1] A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY
    Poggiolesi, Francesca
    REVIEW OF SYMBOLIC LOGIC, 2009, 2 (04): : 593 - 611
  • [2] THE SEQUENT CALCULUS FOR THE MODAL LOGIC-D
    VALENTINI, S
    BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1993, 7A (03): : 455 - 460
  • [3] Nested-sequent Calculus for Modal Logic MB
    Kawano, Tomoaki
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (415):
  • [4] A labelled sequent calculus for half-order modal logic
    Alonderis, Romas
    Sakauskaitė, Jūratė
    Journal of Applied Logics, 2018, 5 (01): : 121 - 164
  • [5] A LABELLED SEQUENT CALCULUS FOR HALF-ORDER MODAL LOGIC
    Alonderis, Romas
    Sakauskaite, Jurate
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (01): : 121 - 163
  • [6] A Sequent Calculus for Urn Logic
    French, Rohan
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2015, 24 (02) : 131 - 147
  • [7] A Sequent Calculus for Urn Logic
    Rohan French
    Journal of Logic, Language and Information, 2015, 24 : 131 - 147
  • [8] PROVABILITY, TRUTH, AND MODAL LOGIC
    BOOLOS, G
    JOURNAL OF PHILOSOPHICAL LOGIC, 1980, 9 (01) : 1 - 7
  • [9] A SEQUENT CALCULUS FOR KROGER LOGIC
    SZABO, ME
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 148 : 295 - 303
  • [10] A sequent calculus for nominal logic
    Gabbay, M
    Cheney, J
    19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 139 - 148
12345