McCarthy variations in a modal key

DOI10.1016/j.artint.2010.04.014zbMath1216.68278OpenAlexW2148975498MaRDI QIDQ543607

J. F. A. K. van Benthem

Publication date: 17 June 2011

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2010.04.014

zbMATH Keywords

temporal logicstructural rulesbelief changedynamic epistemic logicsituation calculuscircumscriptionfixed-point logicregression method

Mathematics Subject Classification ID

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

Related Items (6)

Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ John McCarthy's legacy ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ Incorporating Action Models into the Situation Calculus ⋮ Dynamic Epistemic Logic as a Substructural Logic

Cites Work

• A semantic characterization of a useful fragment of the situation calculus with knowledge
• Logics of communication and change
• The variety of consequence, according to Bolzano
• Circumscription - a form of non-monotonic reasoning
• Modal languages and bounded fragments of predicate logic
• A knowledge based semantics of messages
• A circumscriptive calculus of events
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• Minimal predicates, fixed-points, and definability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: McCarthy variations in a modal key