Completeness in hybrid type theory

DOI10.1007/S10992-012-9260-4zbMATH Open1338.03031OpenAlexW2029151503MaRDI QIDQ484101FDOQ484101

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

type theoryhybrid logic\(\@\) operatorshigher-order modal logicnominals

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

• Identity, equality, nameability and completeness. Part II
• Title not available (Why is that?)
• Completeness in equational hybrid propositional type theory
• Title not available (Why is that?)
• Quantifiers and conceptual existence
• Title not available (Why is that?)
• Exorcising the phantom zone
• Completeness: from Gödel to Henkin
• Henkin and Hybrid Logic
• Reichenbach, Prior and hybrid tense logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Completeness and decidability results for CTL in constructive type theory 👍 👎
• Completeness and Cut-elimination in the Intuitionistic Theory of Types 👍 👎
• Inductive types and exact completion 👍 👎
• Completeness in equational hybrid propositional type theory 👍 👎
• HYBRID PARTIAL-TOTAL TYPE THEORY 👍 👎
• Completeness of type assignment systems with intersection, union, and type quantifiers 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q484101)