An approach to tense logic1

DOI10.1111/J.1755-2567.1970.TB00428.XMaRDI QIDQ5633975zbMATH OpenOpenAlexFDO

Authors R. A. Bull

Publication date 1971

Published in Theoria (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1755-2567.1970.tb00428.x

Mathematics Subject Classification ID

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

Cited in

(16)

• Model checking for hybrid logic
• Modal logic with names
• Remarks on Gregory's ``actually operator
• Hybrid languages
• Global view on reactivity: switch graphs and their logics
• Model checking hybrid logics (with an application to semistructured data)
• Exorcising the phantom zone
• Back from the future
• Completeness in hybrid type theory
• Reichenbach, Prior and hybrid tense logic
• Hybrid modal operators for definite descriptions
• On temporal references via definite descriptions in first-order monadic logic of order
• An essay in combinatory dynamic logic
• Arthur Prior and hybrid logic
• Pure extensions, proof rules, and hybrid axiomatics
• Notes on logics of metric spaces

This page was built for publication: An approach to tense logic¹

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