- Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Display to Labeled Proofs and Back Again for Tense Logics.Agata Ciabattoni, Tim Lyon, Revantha Ramanayake & Alwen Tiu - 2021 - ACM Transactions on Computational Logic 22 (3):1-31.details
|
|
Sequent Systems for Negative Modalities.Ori Lahav, João Marcos & Yoni Zohar - 2017 - Logica Universalis 11 (3):345-382.details
|
|
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.details
|
|
Louis Joly as a Platonist Painter?Roger Pouivet - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 337--341.details
|
|
Mental models or formal rules?Philip N. Johnson-Laird & Ruth M. J. Byrne - 1993 - Behavioral and Brain Sciences 16 (2):368-380.details
|
|
The logical content of theories of deduction.Wilfrid Hodges - 1993 - Behavioral and Brain Sciences 16 (2):353-354.details
|
|
On modes of explanation.Rachel Joffe Falmagne - 1993 - Behavioral and Brain Sciences 16 (2):346-347.details
|
|
Label-free natural deduction systems for intuitionistic and classical modal logics.Didier Galmiche & Yakoub Salhi - 2010 - Journal of Applied Non-Classical Logics 20 (4):373-421.details
|
|
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.details
|
|
A logic for reasoning about relative similarity.Beata Konikowska - 1997 - Studia Logica 58 (1):185-226.details
|
|
Cut-free sequent and tableau systems for propositional diodorean modal logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.details
|
|
Theory matrices (for modal logics) using alphabetical monotonicity.Ian P. Gent - 1993 - Studia Logica 52 (2):233 - 257.details
|
|
Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.details
|
|
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.details
|
|
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
The Logic of Sequence Frames.Fabio Lampert - 2022 - Review of Symbolic Logic 15 (1):101-132.details
|
|
Rule-Generation Theorem and its Applications.Andrzej Indrzejczak - 2018 - Bulletin of the Section of Logic 47 (4):265-281.details
|
|
Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New Yorkdetails
|
|
Labelled Tableau Systems for Some Subintuitionistic Logics.Minghui Ma - 2019 - Logica Universalis 13 (2):273-288.details
|
|
A focused framework for emulating modal proof systems.Sonia Marin, Dale Miller & Marco Volpe - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 469-488.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
|
|
“That Will Do”: Logics of Deontic Necessity and Sufficiency.Frederik Van De Putte - 2017 - Erkenntnis 82 (3):473-511.details
|
|
Modal Logic As Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1-2):57-93.details
|
|
Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.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
|
|
Display calculi and other modal calculi: a comparison.Francesca Poggiolesi - 2010 - Synthese 173 (3):259-279.details
|
|
Separation logics and modalities: a survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.details
|
|
Variants of multi-relational semantics for propositional non-normal modal logics.Erica Calardo & Antonino Rotolo - 2014 - Journal of Applied Non-Classical Logics 24 (4):293-320.details
|
|
Cut-free sequent calculus for S5.Andrzej Indrzejczak - 1996 - Bulletin of the Section of Logic 25 (2):95-102.details
|
|
Scientific thinking and mental models.Ryan D. Tweney - 1993 - Behavioral and Brain Sciences 16 (2):366-367.details
|
|
Mental models, more or less.Thad A. Polk - 1993 - Behavioral and Brain Sciences 16 (2):362-363.details
|
|
Nonsentential representation and nonformality.Keith Stenning & Jon Oberlander - 1993 - Behavioral and Brain Sciences 16 (2):365-366.details
|
|
Deductive reasoning: What are taken to be the premises and how are they interpreted?Samuel Fillenbaum - 1993 - Behavioral and Brain Sciences 16 (2):348-349.details
|
|
Rule systems are not dead: Existential quantifiers are harder.Richard E. Grandy - 1993 - Behavioral and Brain Sciences 16 (2):351-352.details
|
|
Mental models: Rationality, representation and process.D. W. Green - 1993 - Behavioral and Brain Sciences 16 (2):352-353.details
|
|
Mental models and nonmonotonic reasoning.Nick Chater - 1993 - Behavioral and Brain Sciences 16 (2):340-341.details
|
|
Mental models and tableau logic.Avery D. Andrews - 1993 - Behavioral and Brain Sciences 16 (2):334-334.details
|
|
Labelled analytic tableaux for S4. 3.Andrzej Indrzejczak - 2002 - Bulletin of the Section of Logic 31 (1):15-26.details
|
|
Correspondence theory in proof theory.Andrzej Indrzejczak - 2008 - Bulletin of the Section of Logic 37 (3/4):171-183.details
|
|
Modal Tree‐Sequents.Claudio Cerrato - 1996 - Mathematical Logic Quarterly 42 (1):197-210.details
|
|
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.details
|
|
A formalization of Sambins's normalization for GL.Edward Hermann Haeusler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.details
|
|
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.details
|
|
Possible Worlds in Use.Andrzej Indrzejczak - 2011 - Studia Logica 99 (1-3):229-248.details
|
|
Visualizing the possibilities.Bruce J. MacLennan - 1993 - Behavioral and Brain Sciences 16 (2):356-357.details
|
|
First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 151--161.details
|
|