Henkin and Hybrid Logic
From MaRDI portal
Publication:3454819
DOI10.1007/978-3-319-09719-0_19zbMath1336.03022MaRDI QIDQ3454819
María Manzano, Patrick Blackburn, Klaus Frovin Jørgensen, Antonia Huertas
Publication date: 27 November 2015
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-09719-0_19
modal logic; rigidity; higher-order logic; hybrid logic; Henkin models; Henkin constants; bounded fragment
03B45: Modal logic (including the logic of norms)
Related Items
Cites Work
- Completeness in hybrid type theory
- Pure extensions, proof rules, and hybrid axiomatics
- Modal logic with names
- Hybrid languages
- Hybrid logics: characterization, interpolation and complexity
- Interpolation for extended modal languages
- Hybrid languages and temporal logic
- The Discovery of My Completeness Proofs
- The completeness of the first-order functional calculus
- Completeness in the theory of types
- Unnamed Item
- Unnamed Item
- Unnamed Item