The situation calculus: a case for modal logic

DOI10.1007/S10849-009-9117-6zbMath1227.03022OpenAlexW2094502182MaRDI QIDQ616039

Gerhard Lakemeyer

Publication date: 7 January 2011

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-009-9117-6

zbMATH Keywords

dynamic logicKripke semanticsepistemic logicsituation calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Uses Software

• ConGolog
• GOLOG

Cites Work

• A semantic characterization of a useful fragment of the situation calculus with knowledge
• Knowledge, action, and the frame problem
• ConGolog, a concurrent programming language based on the situation calculus
• Reasoning about noisy sensors and effectors in the situation calculus
• Using temporal logics to express search control knowledge for planning
• Experiences with an interactive museum tour-guide robot
• STRIPS: A new approach to the application of theorem proving to problem solving
• Epistemology Without Knowledge and Without Belief
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Regression in Modal Logic
• Belief Change: from Situation Calculus to Modal Logic
• “Sometimes” and “not never” revisited
• GOLOG: A logic programming language for dynamic domains
• cc-Golog - An Action Language with Continuous Change
• Formalizing action and change in modal logic I: the frame problem
• On knowledge-based programming with sensing in the situation calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The situation calculus: a case for modal logic