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 条
  • [41] A Cut-Free Cyclic Proof System for Kleene Algebra
    Das, Anupam
    Pous, Damien
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 261 - 277
  • [42] A Reduction-based Cut-free Gentzen Calculus for Dynamic Epistemic Logic
    Wirsing, Martin
    Knapp, Alexander
    LOGIC JOURNAL OF THE IGPL, 2023, 31 (06) : 1047 - 1068
  • [43] CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D
    Burns, Samara
    Zach, Richard
    REVIEW OF SYMBOLIC LOGIC, 2021, 14 (04): : 910 - 929
  • [44] Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
    Gore, Rajeev
    Postniece, Linda
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (01) : 233 - 260
  • [45] Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension
    Kamide, Norihiro
    2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 2016, : 137 - 142
  • [46] Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALCI
    Linh Anh Nguyen
    FOUNDATIONS OF INTELLIGENT SYSTEMS, 2011, 6804 : 465 - 475
  • [47] Cut-free sequent calculi for logics characterized by finite linear Kripke frames
    Matsuda, Naosuke
    LOGIC JOURNAL OF THE IGPL, 2017, 25 (05) : 686 - 696
  • [48] Cut-free sequent-style systems for a logic associated to involutive Stone algebras
    Cantu, Liliana M.
    Figallo, Martin
    JOURNAL OF LOGIC AND COMPUTATION, 2022, 33 (07) : 1684 - 1710
  • [49] On Some Problems of Efficient Inference Search in First-order Cut-free Modal Sequent Calculi
    Lyaletski, Alexander
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 39 - 46
  • [50] Representation and reduction of decision system based on semantics of extended propositional modal logic
    Zhang, Xiaoru
    Zhang, Zaiyue
    Cao, Cungen
    Huang, Zhisheng
    Journal of Computational Information Systems, 2011, 7 (11): : 4071 - 4081
12345