A CUT-FREE SEQUENTIAL SYSTEM FOR THE PROPOSITIONAL MODAL LOGIC OF FINITE CHAINS

被引：1
|
作者：
NISHIMURA, H
机构：
来源：
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES | 1983年 / 19卷 / 01期
关键词：
D O I：
10.2977/prims/1195182989
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：305 / 316
页数：12
相关论文
共 50 条
  • [21] Cut-free Completeness for Modal Mu-Calculus
    Afshari, Bahareh
    Leigh, Graham E.
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [22] A cut-free sequent calculus for relevant logic RW*
    Ilic, Mirjana
    Boricici, Branislav
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (04) : 673 - 695
  • [23] Cut-Free Tableau Calculi for some Intuitionistic Modal Logics
    Mauro Ferrari
    Studia Logica, 1997, 59 (3) : 303 - 330
  • [24] A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic
    Nomura, Shoshin
    Ono, Hiroakira
    Sano, Katsuhiko
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 283 - 298
  • [25] A cut-free labelled sequent calculus for dynamic epistemic logic
    Nomura, Shoshin
    Ono, Hiroakira
    Sano, Katsuhiko
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (01) : 321 - 348
  • [26] Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic (vol 109, pg 1347, 2021)
    Figallo, Martin
    STUDIA LOGICA, 2022, 110 (03) : 879 - 879
  • [27] A cut-free calculus for second-order Godel logic
    Lahav, Ori
    Avron, Arnon
    FUZZY SETS AND SYSTEMS, 2015, 276 : 1 - 30
  • [28] A cut-free sequent calculus for Bi-intuitionistic logic
    Buismani, Linda
    Gore, Rajeev
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2007, 4548 : 90 - +
  • [29] A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic
    Daynes, Arief
    MATHEMATICAL LOGIC QUARTERLY, 2006, 52 (06) : 540 - 554
  • [30] A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI
    Nguyen, Linh Anh
    COMPUTATIONAL COLLECTIVE INTELLIGENCE: TECHNOLOGIES AND APPLICATIONS, PT I, 2011, 6922 : 572 - 581
12345