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