Henkin and Hybrid Logic
From MaRDI portal
Publication:3454819
DOI10.1007/978-3-319-09719-0_19zbMath1336.03022OpenAlexW160817119MaRDI 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
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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