- Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts.Torben Braüner - 2022 - Bulletin of the Section of Logic 51 (2):143-162.details
|
|
Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.details
|
|
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.details
|
|
Kant on the ‘Guarantee of Perpetual Peace’ and the Ideal of the United Nations.Lucas Thorpe - 2019 - Dokuz Eylül University Journal of Humanities 6 (1):223-245..details
|
|
Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.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
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Maehara-style modal nested calculi.Roman Kuznets & Lutz Straßburger - 2019 - Archive for Mathematical Logic 58 (3-4):359-385.details
|
|
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.details
|
|
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework.Chrysafis Hartonas - 2018 - Journal of Philosophical Logic 47 (1):67-94.details
|
|
A New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.details
|
|
Uniform interpolation and the existence of sequent calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.details
|
|
Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.details
|
|
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics.Zhe Lin & Minghui Ma - 2022 - Studia Logica 110 (5):1255-1289.details
|
|
Intuitionistic Conditional Logics.Ivano Ciardelli & Xinghan Liu - 2020 - Journal of Philosophical Logic 49 (4):807-832.details
|
|
Intuitionistic Non-normal Modal Logics: A General Framework.Tiziano Dalmonte, Charles Grellois & Nicola Olivetti - 2020 - Journal of Philosophical Logic 49 (5):833-882.details
|
|
An epistemic logic for becoming informed.Giuseppe Primiero - 2009 - Synthese 167 (2):363 - 389.details
|
|
A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Autoepistemic equilibrium logic and epistemic specifications.Ezgi Iraz Su, Luis Fariñas del Cerro & Andreas Herzig - 2020 - Artificial Intelligence 282 (C):103249.details
|
|
A proof-theoretic investigation of a logic of positions.Stefano Baratella & Andrea Masini - 2003 - Annals of Pure and Applied Logic 123 (1-3):135-162.details
|
|
Two natural deduction systems for hybrid logic: A comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.details
|
|
Natural Deduction Bottom Up.Ernst Zimmermann - 2021 - Journal of Logic, Language and Information 30 (3):601-631.details
|
|
Order- dual realational semantics for non-distributive propositional logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 25 (2):145-182.details
|
|
A general method for proving decidability of intuitionistic modal logics.Natasha Alechina & Dmitry Shkatov - 2006 - Journal of Applied Logic 4 (3):219-230.details
|
|
Proof‐theoretic semantics of natural deduction based on inversion.Ernst Zimmermann - 2021 - Theoria 87 (6):1651-1670.details
|
|
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks.Torben Braüner - 2014 - Journal of Logic, Language and Information 23 (4):415-439.details
|
|
Universal proof theory: Feasible admissibility in intuitionistic modal logics.Amirhossein Akbar Tabatabai & Raheleh Jalali - 2025 - Annals of Pure and Applied Logic 176 (2):103526.details
|
|
Modal operators for meet-complemented lattices.José Luis Castiglioni & Rodolfo C. Ertola-Biraben - 2017 - Logic Journal of the IGPL 25 (4):465-495.details
|
|
Intuitionistic propositional logic with Galois connections.Wojciech Dzik, Jouni Järvinen & Michiro Kondo - 2010 - Logic Journal of the IGPL 18 (6):837-858.details
|
|
Label-free Modular Systems for Classical and Intuitionistic Modal Logics.Sonia Marin & Lutz Straßburger - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 387-406.details
|
|
Denotation of contextual modal type theory : Syntax and meta-programming.Murdoch J. Gabbay & Aleksandar Nanevski - 2013 - Journal of Applied Logic 11 (1):1-29.details
|
|