Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
From MaRDI portal
Publication:817688
DOI10.1007/s11225-005-3704-6zbMath1098.03028OpenAlexW2057227305MaRDI QIDQ817688
Publication date: 17 March 2006
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-005-3704-6
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof methods for modal and intuitionistic logics
- The adequacy problem for inferential logic
- Hybridizing concept languages
- Modal logic with names
- Two natural deduction systems for hybrid logic: A comparison
- Natural deduction for first-order hybrid logic
- Modal logic, truth, and the master modality.
- The idea of a proof-theoretic semantics and the meaning of the logical operations
- Intuitionistic hybrid logic
- Hybrid logics: characterization, interpolation and complexity
- What are logical notions?
- Using the Universal Modality: Gains and Questions
- The modal logic of inequality
- Derivation rules as anti-axioms in modal logic
- Sequent Calculi for Normal Modal Propositional Logics
- A cut-free Gentzen formulation of the modal logic S5
- Display Calculi for Nominal Tense Logics
- Natural Deduction for Hybrid Logic
- Counting Objects
- Internalizing labelled deduction
- Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
- Logical connectives for intuitionistic propositional logic
This page was built for publication: Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
