Hybrid partial type theory

DOI10.1017/JSL.2023.33MaRDI QIDQ6987827zbMATH OpenFDO

Authors María Manzano, Antonia Huertas, Patrick Blackburn, Manuel A. Martins, Víctor Aranda

Publication date 6 May 2025

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/JSL.2023.33

zbMATH Keywords

denotationexistenceHenkin proofshigher-order modal logichybrid logicpartial logicrigiditytype theory

Mathematics Subject Classification ID

Higher-order logic (03B16) Modal logic (including the logic of norms) (03B45)

Cites work

• A formulation of the simple theory of types.
• A partial functions version of Church's simple theory of types
• A theory of prepositional types
• Andrews' type theory with undefinedness
• Completeness in equational hybrid propositional type theory
• Completeness in hybrid type theory
• Completeness in the theory of types
• Exorcising the phantom zone
• First-order modal logic
• Handbook of modal logic
• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• Modal Hybrid Logic
• Pure extensions, proof rules, and hybrid axiomatics
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• The life and work of Leon Henkin. Essays on his contributions
• Types, tableaus, and Gödel's God

Cited in

(1)

• Prior's ideal language

This page was built for publication: Hybrid partial type theory

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