- 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
|
|
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
|
|
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.details
|
|
(1 other version)Recursive unsolvability of a problem of thue.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (1):1-11.details
|
|
An introduction to modal logic: the Lemmon notes.E. J. Lemmon - 1977 - Oxford: Blackwell. Edited by Dana S. Scott.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
|
|
(2 other versions)Deep Sequent Systems for Modal Logic.Kai Brünnler - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 107-120.details
|
|
(2 other versions)Deep Sequent Systems for Modal Logic.Kai Brünnler - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 107-120.details
|
|
(1 other version)Recursive Unsolvability of a Problem of Thue.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (3):90-91.details
|
|