Updates and counterfactuals
Grahne, G·1998·Journal of Logic and Computation
Cited by (121)
Items 101–121 of 121
- Laura Giordano Iterated Belief RevisionNicola Olivetti, Conditional Logic · 2002
- Modal logic for modelling actions and agentsHelmut Prendinger · 1996 · Lecture notes in computer science
- A practical parallel algorithm for propositional knowledge base revisionSun Wei, Xuehong Tao, Ma Shaohao · 1996 · Wuhan University Journal of Natural Sciences
- Control room agents: an information-theoretic approachJohn Andrew van der Poll, Willem Adrian Labuschagne, Petra Laura Van Der Westhuizen · 2007
- Actions, Belief Update, and DDLJérôme Lang · 2013 · Outstanding contributions to logic
- A natural sequent calculus for Lewis logic of counterfactualsNicola Olivetti, Gian Luca Pozzato · 2015 · Institutional Research Information System University of Turin (University of Turin)
- Nested Sequent Calculi and Theorem Proving for Normal Conditional LogicsNicola Olivetti, Gian Luca Pozzato · 2013
- Epistemic Conditionals and the Logic of SubsetsKonstantinos Georgatos · 2017 · Outstanding contributions to logic
- Proof Methods for Conditional and Preferential Logics of Nonmonotonic ReasoningGian Luca Pozzato · 2008 · Institutional Research Information System University of Turin (University of Turin)
- Cumulative UpdatesSuryanarayana M. Sripada, Beat Wüthrich · 1994 · Very Large Data Bases
- Theorem proving for Lewis Logics of Counterfactual ReasoningMarianna Girlando, Björn Lellmann, Nicola Olivetti · 2020 · Institutional Research Information System University of Turin (University of Turin)
- Counterfactuals and updates as inverse modalities: preliminary versionMark Dermot Ryan, Pierre‐Yves Schobbens, Odinaldo Rodrigues · 1996 · Theoretical Aspects of Rationality and Knowledge
- Probabilities, Indicatives, and RelevanceFrancesco Berto, Aybüke Özgün · 2022
- Copyright Page2022
- Epistemic Closure, Dogmatism, Scepticism, FallibilismFrancesco Berto, Peter Hawke · 2022
- Topic-Sensitive Intentional ModalsFrancesco Berto · 2022
- What Thoughts Are AboutFrancesco Berto · 2022
- Hyperintensional Belief RevisionFrancesco Berto · 2022
- Dedication2022
- On the proof theory of conditional logicsMarianna Girlando · 2019
- Stepwise Revision OperationsDov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo · 2010 · Cognitive technologies