- (1 other version)Proof Systems for Super- Strict Implication.Guido Gherardi, Eugenio Orlandelli & Eric Raidl - 2023 - Studia Logica 112 (1):249-294.details
|
|
A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic.Youan Su & Katsuhiko Sano - 2023 - Studia Logica 111 (4):615-652.details
|
|
From axioms to synthetic inference rules via focusing.Sonia Marin, Dale Miller, Elaine Pimentel & Marco Volpe - 2022 - Annals of Pure and Applied Logic 173 (5):103091.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
|
|
Metainferential Reasoning on Strong Kleene Models.Andreas Fjellstad - 2021 - Journal of Philosophical Logic 51 (6):1327-1344.details
|
|
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. Springer. pp. 202-218.details
|
|
From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 120 - 139.details
|
|
Propositional quantifiers in labelled natural deduction for normal modal logic.Matteo Pascucci - 2019 - Logic Journal of the IGPL 27 (6):865-894.details
|
|
Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New Yorkdetails
|
|
Infinitary Contraction‐Free Revenge.Andreas Fjellstad - 2018 - Thought: A Journal of Philosophy 7 (3):179-189.details
|
|
Harmonic inferentialism and the logic of identity.Stephen Read - 2016 - Review of Symbolic Logic 9 (2):408-420.details
|
|
Non-classical Elegance for Sequent Calculus Enthusiasts.Andreas Fjellstad - 2017 - Studia Logica 105 (1):93-119.details
|
|
Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2014 - Theoria 81 (2):143-181.details
|
|
Kripke completeness revisited.Sara Negri - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. pp. 233--266.details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.details
|
|
(2 other versions)Valentini’s cut-elimination for provability logic resolved.Rajeev Goré & Revantha Ramanayake - 2012 - Review of Symbolic Logic 5 (2):212-238.details
|
|
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Topics in the Proof Theory of Non-classical Logics. Philosophy and Applications.Fabio De Martin Polo - 2023 - Dissertation, Ruhr-Universität Bochumdetails
|
|
(1 other version)Proof Systems for Super- Strict Implication.Guido Gherardi, Eugenio Orlandelli & Eric Raidl - 2024 - Studia Logica 112 (1):249-294.details
|
|
Modular labelled calculi for relevant logics.Fabio De Martin Polo - 2023 - Australasian Journal of Logic 20 (1):47-87.details
|
|
Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics.Matteo Tesi - 2020 - Studia Logica 109 (4):725-757.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
|
|
Cut-free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer. pp. 803 - 819.details
|
|
On a multilattice analogue of a hypersequent S5 calculus.Oleg Grigoriev & Yaroslav Petrukhin - forthcoming - Logic and Logical Philosophy:1.details
|
|
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus.Andrzej Indrzejczak - 2016 - Bulletin of the Section of Logic 45 (2).details
|
|
Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.details
|
|
Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.details
|
|
Embedding formalisms: hypersequents and two-level systems of rule.Agata Ciabattoni & Francesco A. Genco - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 197-216.details
|
|
Validity, dialetheism and self-reference.Federico Matias Pailos - 2020 - Synthese 197 (2):773-792.details
|
|
Proof analysis for Lewis counterfactuals.Sara Negri & Giorgio Sbardolini - 2016 - Review of Symbolic Logic 9 (1):44-75.details
|
|
Full classical S5 in natural deduction with weak normalization.Ana Teresa Martins & Lilia Ramalho Martins - 2008 - Annals of Pure and Applied Logic 152 (1):132-147.details
|
|
(2 other versions)Deep sequent systems for modal logic.Kai Brünnler - 2009 - Archive for Mathematical Logic 48 (6):551-577.details
|
|
Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations.Satoru Niki - 2020 - Bulletin of the Section of Logic 49 (4):359-375.details
|
|
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT.S. Negri & E. Pavlović - 2021 - Studia Logica 109 (3):473-507.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.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
|
|
Geometrisation of First-Order Logic.Roy Dyckhoff & Sara Negri - 2015 - Bulletin of Symbolic Logic 21 (2):123-163.details
|
|
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.details
|
|
Fractional-Valued Modal Logic.Mario Piazza, Gabriele Pulcini & Matteo Tesi - 2023 - Review of Symbolic Logic 16 (4):1033-1052.details
|
|
Neutral Free Logic: Motivation, Proof Theory and Models.Edi Pavlović & Norbert Gratzl - 2023 - Journal of Philosophical Logic 52 (2):519-554.details
|
|
On the Proof Theory of Infinitary Modal Logic.Matteo Tesi - 2022 - Studia Logica 110 (6):1349-1380.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)Metasequents and Tetravaluations.Rohan French - 2021 - Journal of Philosophical Logic 51 (6):1-24.details
|
|
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.Ryo Hatano & Katsuhiko Sano - 2020 - Studia Logica 109 (1):95-124.details
|
|
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate.Paolo Maffezioli & Eugenio Orlandelli - 2019 - Bulletin of the Section of Logic 48 (2):137-158.details
|
|
On a Generality Condition in Proof‐Theoretic Semantics.Bogdan Dicher - 2017 - Theoria 83 (4):394-418.details
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
Modular Sequent Calculi for Classical Modal Logics.David R. Gilbert & Paolo Maffezioli - 2015 - Studia Logica 103 (1):175-217.details
|
|