A logic-based calculus of events
New Generation Computing
An essay in combinatory dynamic logic
Information and Computation
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Maintaining knowledge about temporal intervals
Communications of the ACM
Modal logic
Dynamic Logic
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Reasoning in expressive description logics
Handbook of automated reasoning
SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Hi-index | 0.00 |
The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing the situation calculus also highlight the connection between the fields of artificial intelligence and philosophical logic (especially modal logics of belief, knowledge, and tense). Modal logic changed enormously since the 60s. This paper sets out to revive the connection between situation calculus and modal logic. In particular, we will show that quantified hybrid logic, QHL, is able to express situation calculus formulas often more natural and concise than the original formulations. The main contribution of this paper is a new quantified hybrid logic with temporal operators and action modalities, tailor-made for expressing the fluents of situation calculus.