Natural deduction, hybrid systems and modal logics

From MaRDI portal
Publication:659458

DOI10.1007/978-90-481-8785-0zbMath1236.03002OpenAlexW598113844MaRDI QIDQ659458

Andrzej Indrzejczak

Publication date: 19 January 2012

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-90-481-8785-0




Related Items (32)

Dialogues and Proofs; Yankov’s Contribution to Proof TheoryA dual-context sequent calculus for the constructive modal logic S4Proof-Search in Natural Deduction Calculus for Classical Propositional LogicThe Rule of Existential Generalisation and Explicit SubstitutionNatural deduction calculi and sequent calculi for counterfactual logicsA modal view on resource-bounded propositional logicsSemantics and proof-theory of depth bounded Boolean logicsSequent systems for negative modalitiesLINEAR TIME IN HYPERSEQUENT FRAMEWORKVarieties of Relevant S5Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking factsDual erotetic calculi and the minimal \(\mathsf{LFI}\)TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICSNon-transitive correspondence analysisStanisław Jaśkowski and Natural Deduction SystemsPossible worlds in useDual and axiomatic systems for constructive S4, a formally verified equivalenceSimple cut elimination proof for hybrid logicEliminability of cut in hypersequent calculi for some modal logics of linear framesGödel's natural deductionGentzen and Jaśkowski natural deduction: fundamentally similar but importantly differentA survey of nonstandard sequent calculiCommentary and Illocutionary Expressions in Linear Calculi of Natural DeductionUnnamed ItemOn a multilattice analogue of a hypersequent S5 calculusNormality, non-contamination and logical depth in classical natural deductionAxiomatic and dual systems for constructive necessity, a formally verified equivalenceA general proof certification framework for modal logicTwo proofs of the algebraic completeness theorem for multilattice logicThe Phenomenology of Second-Level Inference: Perfumes in The Deductive GardenModal multilattice logics with Tarski, Kuratowski, and Halmos operatorsNatural deduction systems for intuitionistic logic with identity


Uses Software






This page was built for publication: Natural deduction, hybrid systems and modal logics