Buscar
Mostrando ítems 1-10 de 48
Copy and remove as dynamic operators
(Taylor & Francis, 2021-08)
In this article, we present a modal logic that extends the basic modal logic ML with two dynamic operators: copy (cp), which replicates the current model, labelling each copy with a different propositional symbol and ...
The modal logic of copy and remove
(Academic Press Inc Elsevier Science, 2017-08)
We propose a logic with the dynamic modal operators copy and remove. The copy operator replicates a given model, and the remove operator removes paths in a given model. We show that the product update by an action model ...
Introspection as an action in relational models
(Elsevier Science, 2019-11)
This work studies positive and negative introspection not as ‘static’ properties an agent might or might not have, but rather as epistemic actions that change the agent's knowledge. The proposed actions include not only ...
Verification of Dynamic Bisimulation Theorems in Coq
(Elsevier, 2021-04)
Over the last years, the study of logics that can update a model while evaluating a formula has gained in interest. Motivated by many examples in practice such as hybrid logics, separation logics and dynamic epistemic ...
Relation-changing modal logics
(2014)
En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ...
Lógicas modales con operadores de cambio de accesibilidad
(2014)
En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ...
On AGM for Non-Classical Logics
(SPRINGER, 2011)
The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations ...
Dynamic turn and logic of scientific researchGiro dinámico y lógica de la investigación científica
(Universidad de Valparaíso, 2019)
An Approach to Knowledge and Belief Based on Kleene Strong Logic
(Revista Computación y Sistemas; Vol. 2 No. 1, 1998-09-17)
Abstract. The aim in this thesis is the formal treatment of representation and reasoning of knowledge and belief. Main problem to overcome this challenge are the lack offormalisms being flexible enough in order to deal ...