Dynamic context logic

Authors:
Guillaume Aucher;Davide Grossi;Andreas Herzig;Emiliano Lorini
Affiliations:
University of Luxembourg, ICR;University of Amsterdam, ILLC;University of Toulouse, IRIT;University of Toulouse, IRIT
Venue:
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Year:
2009

Citing 8
Cited 2

Local models semantics, or contextual reasoning = locality + compatibility

Artificial Intelligence
Modal logic

Modal logic
Dynamic Logic

Dynamic Logic
On the Representation of Context

Journal of Logic, Language and Information
Dynamic Epistemic Logic

Dynamic Epistemic Logic
Power in normative systems

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Normative framework for normative system change

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
On the logic of normative systems

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

Deontics = betterness + priority

DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Minimal revision and classical Kripke models first results

LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction

Quantified Score

Hi-index	0.00

Visualization

Abstract

Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories.