Dynamic context logic

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.

Domaines

Logique en informatique [cs.LO] Intelligence artificielle [cs.AI]

Fichier principal

10.1007-978-3-642-04893-7_2.pdf (235.36 Ko)

Origine	Fichiers éditeurs autorisés sur une archive ouverte

Guillaume Aucher : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00556156

Soumis le : dimanche 8 septembre 2013-19:45:38

Dernière modification le : mercredi 25 septembre 2024-09:56:03

Archivage à long terme le : lundi 9 décembre 2013-02:20:12

Dates et versions

inria-00556156 , version 1 (08-09-2013)

Identifiants

HAL Id : inria-00556156 , version 1
DOI : 10.1007/978-3-642-04893-7_2

Citer

Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini. Dynamic context logic. Second International Workshop on Logic, Rationality, and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.15-26, ⟨10.1007/978-3-642-04893-7_2⟩. ⟨inria-00556156⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA IRIT-CNRS TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

151 Consultations

342 Téléchargements