Exorcising the phantom zone

DOI10.1016/j.ic.2021.104754OpenAlexW3157252075MaRDI QIDQ2672660

Manuel A. Martins, Antonia Huertas, Patrick Blackburn, María Manzano

Publication date: 13 June 2022

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2021.104754

zbMATH Keywords

first-order hybrid logicrigidificationdenotationpartial function semantics

Mathematics Subject Classification ID

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

Cites Work

• Completeness in hybrid type theory
• Pure extensions, proof rules, and hybrid axiomatics
• Modal logic with names
• First-order modal logic
• Completeness in equational hybrid propositional type theory
• Rigid first-order hybrid logic
• Henkin and Hybrid Logic
• Hybrid languages and temporal logic
• An approach to tense logic¹
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Exorcising the phantom zone