Natural deduction, hybrid systems and modal logics

DOI10.1007/978-90-481-8785-0MaRDI QIDQ659458zbMATH OpenOpenAlexFDO

Authors 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

deductive systemsmodal logicnatural deductionlogic of linear framesmodal hybrid logic

Mathematics Subject Classification ID

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

Recommendations

• Natural Deduction for Hybrid Logic
• Publication:4943267
• Natural deduction for first-order hybrid logic
• Two natural deduction systems for hybrid logic: A comparison
• Natural deduction for non-classical logics
• Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
• scientific article; zbMATH DE number 3891328
• scientific article; zbMATH DE number 3902624
• A simplified natural deduction approach to certain modal systems
• Label-free natural deduction systems for intuitionistic and classical modal logics

Cited in

(48)

• Possible worlds in use
• Semantics and proof-theory of depth bounded Boolean logics
• A survey of nonstandard sequent calculi
• TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
• Normality, non-contamination and logical depth in classical natural deduction
• The Rule of Existential Generalisation and Explicit Substitution
• Eliminability of cut in hypersequent calculi for some modal logics of linear frames
• Natural deduction for modal logic of judgment aggregation
• scientific article; zbMATH DE number 1416049 (Why is no real title available?)
• Natural deduction for modal logic with a backtracking operator
• Axiomatic and dual systems for constructive necessity, a formally verified equivalence
• Commentary and illocutionary expressions in linear calculi of natural deduction
• A general proof certification framework for modal logic
• Label-free natural deduction systems for intuitionistic and classical modal logics
• Time and Indexicality in Buridan’s Concept of Logical Consequence
• Non-transitive correspondence analysis
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
• On a multilattice analogue of a hypersequent S5 calculus
• The functional interpretation of logical deduction
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• Two proofs of the algebraic completeness theorem for multilattice logic
• Sequent systems for negative modalities
• Goal-directed proof theory
• A natural deduction approach to dynamic logic
• A dual-context sequent calculus for the constructive modal logic S4
• Varieties of Relevant S5
• The phenomenology of second-level inference: perfumes in the deductive garden
• On multiple conclusion deductions in classical logic
• Natural deduction systems for intuitionistic logic with identity
• Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
• Stanisław Jaśkowski and Natural Deduction Systems
• Dialogues and Proofs; Yankov’s Contribution to Proof Theory
• CHR: a constructive relevant natural-deduction logic
• Gödel's natural deduction
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Natural deduction calculi and sequent calculi for counterfactual logics
• Simple cut elimination proof for hybrid logic
• Two natural deduction systems for hybrid logic: A comparison
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• A modal view on resource-bounded propositional logics
• An encyclopaedia of proof systems
• Dual and axiomatic systems for constructive S4, a formally verified equivalence
• Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
• Puzzles of existential generalisation from type-theoretic perspective
• On the finite model property of non-normal modal logics
• Towards a Canonical Classical Natural Deduction System
• Hybrid formulas and elementarily generated modal logics

Describes a project that uses

Uses Software

• KtSeqC

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q659458)