Informational representability of models for information logics

Stéphane Demri (1, 2) , Ewa Orlowska (3)

1 CNRS - Centre National de la Recherche Scientifique
2 Leibniz - IMAG - Laboratoire Leibniz
3 Institute of Telecommunications

The purpose of this paper is to elaborate a formal framework for expressing and proving informational representability of abstract frames. The property of informational representability can be meaningful in investigations of nonclassical logics. We introduce a general notion of informational representability, we develop a method of proving informational representability and we give examples of informational representability and non-representability of frames.

Mots clés: information logic; modal logic; representation; information system

Domaines: Informatique [cs]; Logique en informatique [cs.LO]

Stéphane Demri, Ewa Orlowska. Informational representability of models for information logics. Ewa Orlowska. Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica Verlag, pp.383-409, 1999, 978-3-7908-1864-2. ⟨hal-03195297⟩