McCarthy variations in a modal key
type: Item
instance of: scholarly article
title: McCarthy variations in a modal key
zbMATH Open document ID: 1216.68278
published in: Artificial Intelligence
publication date: 2011-06-17T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 5909449
zbMATH Keywords: circumscription
zbMATH Keywords: fixed-point logic
zbMATH Keywords: structural rules
zbMATH Keywords: belief change
zbMATH Keywords: situation calculus
zbMATH Keywords: temporal logic
zbMATH Keywords: regression method
zbMATH Keywords: dynamic epistemic logic
author: Johan van Benthem
MaRDI profile type: Publication
full work available at URL: j.artint.2010.04.014
OpenAlex ID: W2148975498
cites work: Modal languages and bounded fragments of predicate logic
cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions
cites work: Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
cites work: Q3408862
cites work: Q4845472
cites work: Q4817212
cites work: Q4511300
cites work: A semantic characterization of a useful fragment of the situation calculus with knowledge
cites work: Counterfactuals.
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Q5633670
cites work: Q3576736
cites work: A knowledge based semantics of messages
cites work: Q4779807
cites work: Q4805593
cites work: Q4839154
cites work: A circumscriptive calculus of events
cites work: The variety of consequence, according to Bolzano
cites work: Q3469091
cites work: Q3122692
cites work: Minimal predicates, fixed-points, and definability
cites work: Q5494230
cites work: Dynamic logic for belief revision
cites work: Q3629247
cites work: Q4342090
cites work: Q3509047
cites work: Logics of communication and change
cites work: Dynamic Epistemic Logic and Knowledge Puzzles
DOI: 10.1016/J.ARTINT.2010.04.014
description: scientific article; zbMATH DE number 5909449