- Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.details
|
|
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.AnneMarie Borg, Christian Straßer & Ofer Arieli - 2020 - Studia Logica 109 (1):167-238.details
|
|
Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.details
|
|
Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.details
|
|
(2 other versions)Deep sequent systems for modal logic.Kai Brünnler - 2009 - Archive for Mathematical Logic 48 (6):551-577.details
|
|
Natural deduction calculi for classical and intuitionistic S5.S. Guerrini, A. Masini & M. Zorzi - 2023 - Journal of Applied Non-Classical Logics 33 (2):165-205.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
|
|
Maehara-style modal nested calculi.Roman Kuznets & Lutz Straßburger - 2019 - Archive for Mathematical Logic 58 (3-4):359-385.details
|
|
Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information: Positive logic with adjoint modalities.Mehrnoosh Sadrzadeh - 2010 - Review of Symbolic Logic 3 (3):351-373.details
|
|
An ecumenical notion of entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.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
|
|
Disentangling Structural Connectives or Life Without Display Property.Sergey Drobyshevich - 2019 - Journal of Philosophical Logic 48 (2):279-303.details
|
|
Why does the proof-theory of hybrid logic work so well?Torben Braüner - 2007 - Journal of Applied Non-Classical Logics 17 (4):521-543.details
|
|
Nested sequents for intermediate logics: the case of Gödel-Dummett logics.Tim S. Lyon - 2023 - Journal of Applied Non-Classical Logics 33 (2):121-164.details
|
|