Why does the proof-theory of hybrid logic work so well?
From MaRDI portal
Publication:3647283
DOI10.3166/jancl.17.521-543zbMath1186.03041OpenAlexW2080062560MaRDI QIDQ3647283
Publication date: 30 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.17.521-543
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Combined logics (03B62)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
- Proof methods for modal and intuitionistic logics
- On the development of the model-theoretic viewpoint in logical theory
- Repairing the interpolation theorem in quantified modal logic
- Two natural deduction systems for hybrid logic: A comparison
- Natural deduction for first-order hybrid logic
- The idea of a proof-theoretic semantics and the meaning of the logical operations
- Intuitionistic hybrid logic
- Internalization: The Case of Hybrid Logics
- Resolution in Modal, Description and Hybrid Logic
- Constructive interpolation in hybrid logic
- Tableau-based Decision Procedures for Hybrid Logic
- Sequent Calculi for Normal Modal Propositional Logics
- Labelled propositional modal logics: theory and practice
- Representation, reasoning, and relational structures: a hybrid logic manifesto
- A cut-free Gentzen formulation of the modal logic S5
- Natural Deduction for Hybrid Logic
- Internalizing labelled deduction
- Terminating Tableau Calculi for Hybrid Logics Extending K
- Modal logic as dialogical logic
This page was built for publication: Why does the proof-theory of hybrid logic work so well?
