Labelled Tableau Systems for Some Subintuitionistic Logics

Logica Universalis 13 (2):273-288 (2019)
  Copy   BIBTEX

Abstract

Labelled tableau systems are developed for subintuitionistic logics \, \ and \. These subintuitionistic logics are embedded into corresponding normal modal logics. Hintikka’s model systems are applied to prove the completeness of labelled tableau systems. The finite model property, decidability and disjunction property are obtained by labelled tableau method.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-018-0201-z

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknown
Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD.Linh Anh Nguyen - 2001 - Studia Logica 69 (1):41-57.
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
Labelled non-classical logics.Luca Viganò - 2000 - Boston: Kluwer Academic Publishers.
Tableaux for łukasiewicz infinite-valued logic.Nicola Olivetti - 2003 - Studia Logica 73 (1):81 - 111.
A general tableau method for propositional interval temporal logics: Theory and implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
A uniform tableau method for intuitionistic modal logics I.Giambattista Amati & Fiora Pirri - 1994 - Studia Logica 53 (1):29 - 60.
Labelled Natural Deduction for Conditional Logics of Normality.Krysia Broda, Dov Gabbay, Luís Lamb & Alessandra Russo - 2002 - Logic Journal of the IGPL 10 (2):123-163.
Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity.Pablo F. Castro - 2017 - Studia Logica 105 (2):229-251.
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Cut-free tableau calculi for some propositional normal modal logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. [REVIEW]Carlos Caleiro, Luca Viganò & Marco Volpe - 2013 - Logica Universalis 7 (1):33-69.
Comparing modal sequent systems.Greg Restall - unknown

Analytics

Added to PP
2018-08-03

Downloads
19 (#778,470)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Minghui Ma
Sun Yat-Sen University

Citations of this work

Add more citations

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.

View all 9 references / Add more references