- Uniform Lyndon interpolation property in propositional modal logics.Taishi Kurahashi - 2020 - Archive for Mathematical Logic 59 (5):659-678.details
|
|
Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.details
|
|
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.details
|
|
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.Linh Anh Nguyen & Andrzej Szałas - 2011 - Studia Logica 98 (3):387-428.details
|
|
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Remarks on Gregory's “actually” operator.Patrick Blackburn & Maarten Marx - 2002 - Journal of Philosophical Logic 31 (3):281-288.details
|
|
Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD.Linh Anh Nguyen - 2001 - Studia Logica 69 (1):41-57.details
|
|
Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.details
|
|
Hybrid logics with Sahlqvist axioms.ten Cate Balder, Marx Maarten & Viana Petrúcio - 2005 - Logic Journal of the IGPL 13 (3):293-300.details
|
|
How far can Hume's is-ought thesis be generalized?Gerhard Schurz - 1991 - Journal of Philosophical Logic 20 (1):37 - 95.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Multi-dimensional modal logic.Maarten Marx - 1996 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.details
|
|
Splittings and the finite model property.Marcus Kracht - 1993 - Journal of Symbolic Logic 58 (1):139-157.details
|
|
Cut-free sequent and tableau systems for propositional diodorean modal logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.details
|
|
Problem of restricted interpolation in superintuitionistic and some modal logics.Larisa Maksimova - 2010 - Logic Journal of the IGPL 18 (3):367-380.details
|
|
Projective Beth Property in Extensions of Grzegorczyk Logic.Larisa Maksimova - 2006 - Studia Logica 83 (1):365-391.details
|
|
Amalgamation and interpolation in normal modal logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.details
|
|
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.details
|
|
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151-177.details
|
|
A loop-free decision procedure for modal propositional logics k4, s4 and S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.details
|
|
Properties of independently axiomatizable bimodal logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.details
|
|
Labelled analytic tableaux for S4. 3.Andrzej Indrzejczak - 2002 - Bulletin of the Section of Logic 31 (1):15-26.details
|
|
An empirical analysis of modal theorem provers.Ullrich Hustadt & Renate A. Schmidt - 1999 - Journal of Applied Non-Classical Logics 9 (4):479-522.details
|
|
A tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknowndetails
|
|
Converse-PDL with regular inclusion axioms: a framework for MAS logics.Barbara Dunin-Kęplicz, Linh Anh Nguyen & Andrzej Szalas - 2011 - Journal of Applied Non-Classical Logics 21 (1):61-91.details
|
|
Uniform and non uniform strategies for tableaux calculi for modal logics.Stéphane Demri - 1995 - Journal of Applied Non-Classical Logics 5 (1):77-96.details
|
|
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.details
|
|
Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.details
|
|
Constructive interpolation in hybrid logic.Patrick Blackburn & Maarten Marx - 2003 - Journal of Symbolic Logic 68 (2):463-480.details
|
|
Cut-free tableau calculi for some propositional normal modal logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.details
|
|