Arthur Prior and hybrid logic

DOI10.1007/s11229-005-5512-yzbMath1108.03001OpenAlexW1987374077MaRDI QIDQ857663

Patrick Blackburn

Publication date: 20 December 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-005-5512-y

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03) Temporal logic (03B44)

Related Items

Towards World Identification in Description Logics ⋮ Pure extensions, proof rules, and hybrid axiomatics ⋮ Prior on an insolubilium of Jean Buridan ⋮ An axiom system for basic hybrid logic with propositional quantifiers ⋮ How to Lewis a Kripke-Hintikka ⋮ Completeness in hybrid type theory ⋮ Objectivity without objects: a Priorian program ⋮ Solving Prior's problem with a Priorean tool ⋮ Prior and temporal sequences for natural language ⋮ Arthur Prior and `now' ⋮ Reichenbach, Prior and hybrid tense logic ⋮ Worlds, times and selves revisited ⋮ A Hybrid Public Announcement Logic with Distributed Knowledge ⋮ Prior's Grappling with Peirce's Existential Graphs ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Hybrid counterfactual logics. David Lewis meets Arthur Prior again

Cites Work

• Results on the propositional \(\mu\)-calculus
• An essay in combinatory dynamic logic
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• On the development of the model-theoretic viewpoint in logical theory
• Modal logic, truth, and the master modality.
• Hybrid languages
• Temporal logic. From ancient ideas to artificial intelligence
• Hybrid logics: characterization, interpolation and complexity
• Determiners and logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• An approach to tense logic¹
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item