Completeness in hybrid type theory
type: Item
instance of: scholarly article
title: Completeness in hybrid type theory
zbMATH Open document ID: 1338.03031
author: Carlos Areces
author: Patrick Blackburn
author: Antonia Huertas
author: María Manzano
published in: Journal of Philosophical Logic
publication date: 2014-12-18T00:00:00Z
full work available at URL: http://hdl.handle.net/11086/20021
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B15
zbMATH DE Number: 6381498
zbMATH Keywords: hybrid logic
zbMATH Keywords: type theory
zbMATH Keywords: higher-order modal logic
zbMATH Keywords: nominals
zbMATH Keywords: \(\@\) operators
MaRDI profile type: Publication
OpenAlex ID: W2029151503
cites work: Q3007241
cites work: Generalized quantifiers and natural language
cites work: Representation, reasoning, and relational structures: a hybrid logic manifesto
cites work: Arthur Prior and hybrid logic
cites work: Q4412850
cites work: Pure extensions, proof rules, and hybrid axiomatics
cites work: Hybrid languages and temporal logic
cites work: Q3408862
cites work: An approach to tense logic1
cites work: Interpolation for extended modal languages
cites work: Types, tableaus, and Gödel's God
cites work: First-order modal logic
cites work: Q4108293
cites work: Modal logic with names
cites work: Hierarchies of modal and temporal logics with reference pointers
cites work: Using the Universal Modality: Gains and Questions
cites work: The completeness of the first-order functional calculus
cites work: Completeness in the theory of types
cites work: The Discovery of My Completeness Proofs
cites work: Q4698331
cites work: Terminating tableau systems for hybrid logic with difference and converse
cites work: Q4858033
cites work: Q5556395
cites work: The modal logic of inequality
cites work: Q5680089
DOI: 10.1007/S10992-012-9260-4
Recommended article: Q3086771
Recommended article: Completeness in equational hybrid propositional type theory
Recommended article: HYBRID PARTIAL-TOTAL TYPE THEORY
Recommended article: Inductive types and exact completion
Recommended article: Completeness and Cut-elimination in the Intuitionistic Theory of Types
Recommended article: Q3593495
Recommended article: Q2853715
Recommended article: Q3709890
Recommended article: Completeness of type assignment systems with intersection, union, and type quantifiers
Recommended article: Completeness and decidability results for CTL in constructive type theory
description: scientific article; zbMATH DE number 6381498