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 条
  • [21] A sequent calculus for skeptical default logic
    Bonatti, PA
    Olivetti, N
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 107 - 121
  • [22] Generic Methods for Formalising Sequent Calculi Applied to Provability Logic
    Dawson, Jeremy E.
    Gore, Rajeev
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 263 - 277
  • [23] Labelled Sequent Calculus for Inquisitive Logic
    Chen, Jinsheng
    Ma, Minghui
    LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 526 - 540
  • [24] A simple sequent calculus for nominal logic
    Cheney, James
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (02) : 699 - 726
  • [25] Intersection Logic in sequent calculus style
    Della Rocca, Simona Ronchi
    Saurin, Alexis
    Stavrinos, Yiorgos
    Veneti, Anastasia
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (45): : 16 - 30
  • [26] THE MODAL LOGIC OF PROVABILITY - THE SEQUENTIAL APPROACH
    SAMBIN, G
    VALENTINI, S
    MONTAGNA, F
    JOURNAL OF PHILOSOPHICAL LOGIC, 1982, 11 (03) : 311 - 342
  • [27] A Sequent Calculus for a Negative Free Logic
    Gratzl, Norbert
    STUDIA LOGICA, 2010, 96 (03) : 331 - 348
  • [28] A Sequent Calculus for a Negative Free Logic
    Norbert Gratzl
    Studia Logica, 2010, 96 : 331 - 348
  • [29] A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
    Poggiolesi, Francesca
    REVIEW OF SYMBOLIC LOGIC, 2008, 1 (01): : 3 - 15
  • [30] ON SYSTEMS OF MODAL LOGIC WITH PROVABILITY INTERPRETATIONS
    BOOLOS, G
    THEORIA, 1980, 46 : 7 - 18
12345