scientific article; zbMATH DE number 140392

MaRDI QIDQ4028799zbMATH OpenFDO

Authors Gösta Grahne

Publication date 28 March 1993

zbMATH Keywords

\(VCU^ 2\)counterfactual implicationpropositional knowledge basesRamsey ruletriviality theorem

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Updates and counterfactuals
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• scientific article; zbMATH DE number 4150122
• Counterfactuals and updates as inverse modalities
• Epistemic semantics for counterfactuals

Cited in

(30)

• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Two notions of epistemic validity. Epistemic models for Ramsey's conditionals
• Five faces of minimality
• From ordering-based nonmonotonic reasoning to conditional logics
• Unifying default reasoning and belief revision in a modal framework
• An overview of transaction logic
• Querying disjunctive databases through nonmonotonic logics
• Counterfactuals and updates as inverse modalities
• Propositional belief base update and minimal change
• Override and update
• Weak AGM postulates and strong Ramsey test: A logical formalization
• Beliefs in conditionals vs. conditional beliefs
• ALX, an action logic for agents with bounded rationality
• A semantics for reasoning consistently in the presence of inconsistency
• scientific article; zbMATH DE number 4174359 (Why is no real title available?)
• Epistemic conditionals and the logic of subsets
• scientific article; zbMATH DE number 4150122 (Why is no real title available?)
• From onions to broccoli: generalizing Lewis' counterfactual logic
• scientific article; zbMATH DE number 69458 (Why is no real title available?)
• A practical parallel algorithm for propositional knowledge base revision
• scientific article; zbMATH DE number 517036 (Why is no real title available?)
• A glance at revision and updating in knowledge bases
• Updates and counterfactuals
• scientific article; zbMATH DE number 1951184 (Why is no real title available?)
• Modal logic for modelling actions and agents
• Actions, belief update, and DDL
• Knowledgebase transformations
• The complexity of nested counterfactuals and iterated knowledge base revisions
• Dynamic doxastic logic: why, how, and where to?

This page was built for publication:

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