Modal Hybrid Logic
From MaRDI portal
Recommendations
Cited in
(28)- A proof-theoretic study of the correspondence of hybrid logic and classical logic
- Modal multilattice logic
- Natural deduction for first-order hybrid logic
- A Hilbert-style axiomatisation for equational hybrid logic
- Refinement in hybridised institutions
- Hybrid formulas and elementarily generated modal logics
- Resolution with order and selection for hybrid logics
- Bringing them all together
- Internalization: The case of hybrid logics
- scientific article; zbMATH DE number 6215727 (Why is no real title available?)
- Completeness and termination for a Seligman-style tableau system
- Simple cut elimination proof for hybrid logic
- Deductive systems and the decidability problem for hybrid logics
- Henkin and hybrid logic
- Sequent calculus for hybrid logic
- Modulated logics and flexible reasoning
- The monadic hybrid calculus
- Synthetic completeness proofs for Seligman-style tableau systems
- Forcing and calculi for hybrid logics
- First-order hybrid logic: introduction and survey
- Hybrid logic and its proof-theory
- Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
- Hybrid logic with the difference modality for generalisations of graphs
- Completeness of tableau calculi for two-dimensional hybrid logics
- Agent-knowledge logic for alternative epistemic logic
- Hybrid partial type theory
- Agent-knowledge logic for alternative epistemic logic
- Terminating hybrid tableaus for ordered models
This page was built for publication: Modal Hybrid Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5446314)
