The following pages link to (Q4028799):
Displayed 19 items.
- Knowledgebase transformations (Q676426) (← links)
- Dynamic doxastic logic: why, how, and where to? (Q885520) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- Two notions of epistemic validity. Epistemic models for Ramsey's conditionals (Q1292997) (← links)
- Five faces of minimality (Q1313080) (← links)
- From ordering-based nonmonotonic reasoning to conditional logics (Q1327168) (← links)
- Unifying default reasoning and belief revision in a modal framework (Q1330669) (← links)
- An overview of transaction logic (Q1341707) (← links)
- Querying disjunctive databases through nonmonotonic logics (Q1350535) (← links)
- Propositional belief base update and minimal change (Q1978472) (← links)
- Weak AGM postulates and strong Ramsey test: A logical formalization (Q2457649) (← links)
- Beliefs in conditionals vs. conditional beliefs (Q2460295) (← links)
- ALX, an action logic for agents with bounded rationality (Q2674198) (← links)
- A semantics for reasoning consistently in the presence of inconsistency (Q2676565) (← links)
- Epistemic Conditionals and the Logic of Subsets (Q3299848) (← links)
- A practical parallel algorithm for propositional knowledge base revision (Q4229567) (← links)
- A glance at revision and updating in knowledge bases (Q4293716) (← links)
- Modal logic for modelling actions and agents (Q4632321) (← links)
- Actions, Belief Update, and DDL (Q4982659) (← links)