- Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.details
|
|
Labelled Tree Sequents, Tree Hypersequents and Nested Sequents.Rajeev Goré & Revantha Ramanayake - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 279-299.details
|
|
Labelled modal tableaux.Guido Governatori - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 87-110.details
|
|
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic:1-34.details
|
|
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Hybrid Logic and its Proof-Theory.Torben Braüner - 2010 - Dordrecht and New York: Springer.details
|
|
Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.details
|
|
More models just means more difficulty.N. E. Wetherick - 1993 - Behavioral and Brain Sciences 16 (2):367-368.details
|
|
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.details
|
|
“That Will Do”: Logics of Deontic Necessity and Sufficiency.Frederik Van De Putte - 2017 - Erkenntnis 82 (3):473-511.details
|
|
Scientific thinking and mental models.Ryan D. Tweney - 1993 - Behavioral and Brain Sciences 16 (2):366-367.details
|
|
Situation theory and mental models.Alice G. B. ter Meulen - 1993 - Behavioral and Brain Sciences 16 (2):358-359.details
|
|
Intuitionist logic — subsystem of, extension of, or rival to, classical logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.details
|
|
Nonsentential representation and nonformality.Keith Stenning & Jon Oberlander - 1993 - Behavioral and Brain Sciences 16 (2):365-366.details
|
|
Models, rules and expertise.Rosemary J. Stevenson - 1993 - Behavioral and Brain Sciences 16 (2):366-366.details
|
|
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.details
|
|
Preservation of Craig interpolation by the product of matrix logics.C. Sernadas, J. Rasga & A. Sernadas - 2013 - Journal of Applied Logic 11 (3):328-349.details
|
|
Relevant deduction.Gerhard Schurz - 1991 - Erkenntnis 35 (1-3):391 - 437.details
|
|
How far can Hume's is-ought thesis be generalized?Gerhard Schurz - 1991 - Journal of Philosophical Logic 20 (1):37 - 95.details
|
|
Alethic Modal Logics and Semantics.Gerhard Schurz - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 442–477.details
|
|
Unjustified presuppositions of competence.Leah Savion - 1993 - Behavioral and Brain Sciences 16 (2):364-365.details
|
|
A Four-Valued Dynamic Epistemic Logic.Yuri David Santos - 2020 - Journal of Logic, Language and Information 29 (4):451-489.details
|
|
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.details
|
|
Transgressions Are Equal, and Right Actions Are Equal: some Philosophical Reflections on Paradox III in Cicero’s Paradoxa Stoicorum.Daniel Rönnedal - 2017 - Philosophia 45 (1):317-334.details
|
|
Preface.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):1-6.details
|
|
There is no need for (even fully fleshed out) mental models to map onto formal logic.Paul Pollard - 1993 - Behavioral and Brain Sciences 16 (2):363-364.details
|
|
Mental models, more or less.Thad A. Polk - 1993 - Behavioral and Brain Sciences 16 (2):362-363.details
|
|
Display calculi and other modal calculi: a comparison.Francesca Poggiolesi - 2010 - Synthese 173 (3):259-279.details
|
|
Propositional quantifiers in labelled natural deduction for normal modal logic.Matteo Pascucci - 2019 - Logic Journal of the IGPL 27 (6):865-894.details
|
|
Deduction and degrees of belief.David Over - 1993 - Behavioral and Brain Sciences 16 (2):361-362.details
|
|
Mental models and the tractability of everyday reasoning.Mike Oaksford - 1993 - Behavioral and Brain Sciences 16 (2):360-361.details
|
|
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.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
|
|
Do mental models provide an adequate account of syllogistic reasoning performance?Stephen E. Newstead - 1993 - Behavioral and Brain Sciences 16 (2):359-360.details
|
|
A tableau method for graded intersections of modalities: A case for concept languages. [REVIEW]Ani Nenkova - 2002 - Journal of Logic, Language and Information 11 (1):67-77.details
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Rooted Hypersequent Calculus for Modal Logic S5.Hamzeh Mohammadi & Mojtaba Aghaei - 2023 - Logica Universalis 17 (3):269-295.details
|
|
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.details
|
|
Indexed systems of sequents and cut-elimination.Grigori Mints - 1997 - Journal of Philosophical Logic 26 (6):671-696.details
|
|
First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
Some multi-conclusion modal paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.details
|
|
Ground and free-variable tableaux for variants of quantified modal logics.Marta Cialdea Mayer & Serenella Cerrito - 2001 - Studia Logica 69 (1):97-131.details
|
|
Models for deontic deduction.K. I. Manktelow - 1993 - Behavioral and Brain Sciences 16 (2):357-357.details
|
|
Labelled Tableau Systems for Some Subintuitionistic Logics.Minghui Ma - 2019 - Logica Universalis 13 (2):273-288.details
|
|
Visualizing the possibilities.Bruce J. MacLennan - 1993 - Behavioral and Brain Sciences 16 (2):356-357.details
|
|
Gestalt theory, formal models and mathematical modeling.Abraham S. Luchins & Edith H. Luchins - 1993 - Behavioral and Brain Sciences 16 (2):355-356.details
|
|
Rasiowa–Sikorski Deduction Systems with the Rule of Cut: A Case Study.Dorota Leszczyńska-Jasion, Mateusz Ignaszak & Szymon Chlebowski - 2019 - Studia Logica 107 (2):313-349.details
|
|
The content of mental models.Paolo Legrenzi & Maria Sonino - 1993 - Behavioral and Brain Sciences 16 (2):354-355.details
|
|
Sequent calculi and decision procedures for weak modal systems.René Lavendhomme & Thierry Lucas - 2000 - Studia Logica 66 (1):121-145.details
|
|