Completeness in hybrid type theory

DOI10.1007/s10992-012-9260-4zbMath1338.03031OpenAlexW2029151503MaRDI QIDQ484101

Antonia Huertas, María Manzano, Patrick Blackburn, Carlos Areces

Publication date: 18 December 2014

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11086/20021

zbMATH Keywords

hybrid logictype theorynominals\(\@\) operatorshigher-order modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (6)

Henkin and Hybrid Logic ⋮ Exorcising the phantom zone ⋮ Identity, equality, nameability and completeness. Part II ⋮ Reichenbach, Prior and hybrid tense logic ⋮ Completeness in equational hybrid propositional type theory ⋮ Completeness: from Gödel to Henkin

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Arthur Prior and hybrid logic
• Pure extensions, proof rules, and hybrid axiomatics
• Terminating tableau systems for hybrid logic with difference and converse
• Modal logic with names
• Types, tableaus, and Gödel's God
• First-order modal logic
• Hierarchies of modal and temporal logics with reference pointers
• Interpolation for extended modal languages
• Generalized quantifiers and natural language
• Using the Universal Modality: Gains and Questions
• The modal logic of inequality
• Hybrid languages and temporal logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• The Discovery of My Completeness Proofs
• An approach to tense logic¹
• The completeness of the first-order functional calculus
• Completeness in the theory of types

This page was built for publication: Completeness in hybrid type theory