Completeness in hybrid type theory
From MaRDI portal
Publication:484101
DOI10.1007/S10992-012-9260-4zbMATH Open1338.03031OpenAlexW2029151503MaRDI QIDQ484101FDOQ484101
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
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
- Title not available (Why is that?)
- Using the Universal Modality: Gains and Questions
- The modal logic of inequality
- Title not available (Why is that?)
- The completeness of the first-order functional calculus
- Handbook of modal logic
- Generalized quantifiers and natural language
- Title not available (Why is that?)
- Completeness in the theory of types
- First-order modal logic
- Interpolation for extended modal languages
- Title not available (Why is that?)
- Hierarchies of modal and temporal logics with reference pointers
- Title not available (Why is that?)
- 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
- Reichenbach, Prior and Montague: a semantic get-together
- Hybrid languages and temporal logic
- The Discovery of My Completeness Proofs
- An approach to tense logic1
- Title not available (Why is that?)
- Pure extensions, proof rules, and hybrid axiomatics
Cited In (11)
- 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
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
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)
