- Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.details
|
|
Back from the future.Andrea Masini, Luca Viganò & Marco Volpe - 2010 - Journal of Applied Non-Classical Logics 20 (3):241-277.details
|
|
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.details
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Modular labelled calculi for relevant logics.Fabio De Martin Polo - 2023 - Australasian Journal of Logic 20 (1):47-87.details
|
|
On the Proof Theory of Infinitary Modal Logic.Matteo Tesi - 2022 - Studia Logica 110 (6):1349-1380.details
|
|
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.Tim Lyon - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 177-194.details
|
|
An ecumenical notion of entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.details
|
|
(1 other version)Sequent Calculi for $${\mathsf {SCI}}$$ SCI.Szymon Chlebowski - 2018 - Studia Logica 106 (3):541-563.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
|
|
The Varieties of Ought-implies-Can and Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer.details
|
|
Axiomatic and dual systems for constructive necessity, a formally verified equivalence.Lourdes del Carmen González-Huesca, Favio E. Miranda-Perea & P. Selene Linares-Arévalo - 2019 - Journal of Applied Non-Classical Logics 29 (3):255-287.details
|
|
Fusion, fission, and Ackermann’s truth constant in relevant logics: A proof-theoretic investigation.Fabio De Martin Polo - forthcoming - In Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic. Springer.details
|
|
Constructive theories through a modal lens.Matteo Tesi - forthcoming - Logic Journal of the IGPL.details
|
|
Moral Principles: Hedged, Contributory, Mixed.Aleks Knoks - 2021 - In Deontic Logic and Normative Systems 2020/21.details
|
|
Introducing Identity.Owen Griffiths & Arif Ahmed - 2021 - Journal of Philosophical Logic 50 (6):1449-1469.details
|
|
Propositional quantifiers in labelled natural deduction for normal modal logic.Matteo Pascucci - 2019 - Logic Journal of the IGPL 27 (6):865-894.details
|
|
Harmony and modality.Read Stephen - 2008 - In Dégremont C., Kieff L. & Rückert H. (eds.), Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman. College Publications. pp. 285-303.details
|
|
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.details
|
|
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.details
|
|
Compositional Meaning in Logic.Carlos Caleiro & Luca Viganò - 2017 - Logica Universalis 11 (3):283-295.details
|
|