Natural deduction, hybrid systems and modal logics

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

zbMATH Keywords

modal logicnatural deductiondeductive systemslogic of linear framesmodal hybrid logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Related Items (32)

Dialogues and Proofs; Yankov’s Contribution to Proof Theory ⋮ A dual-context sequent calculus for the constructive modal logic S4 ⋮ Proof-Search in Natural Deduction Calculus for Classical Propositional Logic ⋮ The Rule of Existential Generalisation and Explicit Substitution ⋮ Natural deduction calculi and sequent calculi for counterfactual logics ⋮ A modal view on resource-bounded propositional logics ⋮ Semantics and proof-theory of depth bounded Boolean logics ⋮ Sequent systems for negative modalities ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Varieties of Relevant S5 ⋮ Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts ⋮ Dual erotetic calculi and the minimal \(\mathsf{LFI}\) ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ Non-transitive correspondence analysis ⋮ Stanisław Jaśkowski and Natural Deduction Systems ⋮ Possible worlds in use ⋮ Dual and axiomatic systems for constructive S4, a formally verified equivalence ⋮ Simple cut elimination proof for hybrid logic ⋮ Eliminability of cut in hypersequent calculi for some modal logics of linear frames ⋮ Gödel's natural deduction ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ A survey of nonstandard sequent calculi ⋮ Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction ⋮ Unnamed Item ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Normality, non-contamination and logical depth in classical natural deduction ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ A general proof certification framework for modal logic ⋮ Two proofs of the algebraic completeness theorem for multilattice logic ⋮ The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators ⋮ Natural deduction systems for intuitionistic logic with identity

Uses Software

• KtSeqC

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