McCarthy variations in a modal key

DOI10.1016/J.ARTINT.2010.04.014zbMATH Open1216.68278OpenAlexW2148975498MaRDI QIDQ543607FDOQ543607

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

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

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)

Cites Work

• The logic of public announcements, common knowledge, and private suspicions
• Logics of communication and change
• Counterfactuals.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal languages and bounded fragments of predicate logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A course in game theory.
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Title not available (Why is that?)
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• Handbook of modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• Title not available (Why is that?)
• Circumscription - a form of non-monotonic reasoning
• Logical dynamics meets logical pluralism?
• A knowledge based semantics of messages
• The tree of knowledge in action: towards a common perspective
• Minimal predicates, fixed-points, and definability
• The variety of consequence, according to Bolzano
• A circumscriptive calculus of events
• Title not available (Why is that?)
• Title not available (Why is that?)

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)