Completeness in hybrid type theory

DOI10.1007/S10992-012-9260-4MaRDI QIDQ484101zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 5872251
• Completeness in equational hybrid propositional type theory
• HYBRID PARTIAL-TOTAL TYPE THEORY
• Inductive types and exact completion
• Completeness and Cut-elimination in the Intuitionistic Theory of Types
• The completeness of typing for context-semantics
• Completions, complete representations and omitting types
• scientific article; zbMATH DE number 3938562
• Completeness of type assignment systems with intersection, union, and type quantifiers
• Completeness and decidability results for CTL in constructive type theory

Cites work

• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• scientific article; zbMATH DE number 1950252 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 824731 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3415802 (Why is no real title available?)
• An approach to tense logic¹
• Arthur Prior and hybrid logic
• Completeness in the theory of types
• First-order modal logic
• Generalized quantifiers and natural language
• Handbook of modal logic
• Hierarchies of modal and temporal logics with reference pointers
• Hybrid languages and temporal logic
• Interpolation for extended modal languages
• Modal logic with names
• Pure extensions, proof rules, and hybrid axiomatics
• Reichenbach, Prior and Montague: a semantic get-together
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Terminating tableau systems for hybrid logic with difference and converse
• The Discovery of My Completeness Proofs
• The completeness of the first-order functional calculus
• The modal logic of inequality
• Types, tableaus, and Gödel's God
• Using the Universal Modality: Gains and Questions

Cited in

(11)

• Identity, equality, nameability and completeness. II
• scientific article; zbMATH DE number 4174908 (Why is no real title available?)
• scientific article; zbMATH DE number 4126291 (Why is no real title available?)
• Completeness in equational hybrid propositional type theory
• Quantifiers and conceptual existence
• Henkin and hybrid logic
• Completeness: from Gödel to Henkin
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
• scientific article; zbMATH DE number 5872251 (Why is no real title available?)
• Reichenbach, Prior and hybrid tense logic
• Exorcising the phantom zone

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)