McCarthy variations in a modal key

DOI10.1016/J.ARTINT.2010.04.014MaRDI QIDQ543607zbMATH OpenOpenAlexFDO

Authors Johan 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

belief changedynamic epistemic logictemporal logicsituation calculuscircumscriptionstructural rulesfixed-point logicregression method

Mathematics Subject Classification ID

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

Recommendations

• Editorial: Modality, of course! Modal logic, si! Modality and modal logic
• scientific article; zbMATH DE number 125988
• Iterated belief change in the situation calculus
• Belief change: from situation calculus to modal logic
• Publication:3484810

Cites work

• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 4135922 (Why is no real title available?)
• scientific article; zbMATH DE number 1028827 (Why is no real title available?)
• scientific article; zbMATH DE number 1523030 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 2101986 (Why is no real title available?)
• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 5064947 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A circumscriptive calculus of events
• A course in game theory.
• A knowledge based semantics of messages
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• Circumscription - a form of non-monotonic reasoning
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• Counterfactuals.
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Handbook of modal logic
• Logical dynamics meets logical pluralism?
• Logics of communication and change
• Minimal predicates, fixed-points, and definability
• Modal languages and bounded fragments of predicate logic
• The logic of public announcements, common knowledge, and private suspicions
• The tree of knowledge in action: towards a common perspective
• The variety of consequence, according to Bolzano

Cited in

(6)

• John McCarthy's legacy
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• Incorporating action models into the situation calculus
• Dynamic Epistemic Logic as a Substructural Logic
• DEL-sequents for progression
• DEL-sequents for progression

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q543607)