Counterfactuals and updates as inverse modalities: preliminary version

Authors:
Mark Ryan;Pierre-Yves Schobbens;Odinaldo Rodrigues
Affiliations:
University of Birmingham, Birmingham, UK;Facultés Universitaires de Namur, Belgium;Imperial College, London, UK
Venue:
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Year:
1996

Citing 4
Cited 0

Logics of time and computation

Logics of time and computation
Propositional knowledge base revision and minimal change

Artificial Intelligence
First steps in modal logic

First steps in modal logic
First-Order Dynamic Logic

First-Order Dynamic Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

We point out a simple but hitherto ignored link between the theory of updates and counterfactuals and classical modal logic: update is a classical existential modality, counterfactual is a classical universal modality, and the link between the two (called the Ramsey rule) is simply the link between two inverse accessibility relations of a classical Kripke model.