An approach to tense logic1

DOI10.1111/j.1755-2567.1970.tb00428.xzbMath0227.02012OpenAlexW2065265012MaRDI QIDQ5633975

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)

Related Items

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