The dynamic modal logic DML is presented, featuring actions that change the interpretation of a propositional variable or a modality. The semantics is defined both in terms of modal structures and of labelled transition systems (Kripke models). The extension µDML with recursively defined actions aims to unify and extend dynamic epistemic logics proposed by others. The main technical result is the completeness and decidability of µDML.
Dynamic logic is a language for specifying programming languages and gives a proof calculus for veri...
© 2021 Timo EckhardtIn this thesis I investigate the idea of modeling epistemic updates as static mo...
Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...
abstract. A first-order dynamic epistemic logic is developed where the names of the agents are also ...
This paper explores the relationship between dynamic and truth conditional semantics for epistemic m...
We show that propositional dynamic logic and the modal μ-calculus are closed under product modalitie...
Modern software systems are increasingly exhibiting dynamic-reconfiguration features analogous to na...
The primary goal of this paper is to recast the conventional semantics of modal logic, and dynamic e...
Dynamic epistemic logic (DEL) is an extension of modal multi-agent epistemic logic with dynamic oper...
In this paper we compare standard ways to perform belief change with attempts to model such change w...
Dynamic Epistemic Logic is the study of modal logics of model change. DEL (pronounced “dell”) is a h...
Using algebras over some signature to model the notion of state is quite common in specification lan...
Dynamic logic is a language for specifying programming languages and gives a proof calculus for veri...
© 2021 Timo EckhardtIn this thesis I investigate the idea of modeling epistemic updates as static mo...
Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...
abstract. A first-order dynamic epistemic logic is developed where the names of the agents are also ...
This paper explores the relationship between dynamic and truth conditional semantics for epistemic m...
We show that propositional dynamic logic and the modal μ-calculus are closed under product modalitie...
Modern software systems are increasingly exhibiting dynamic-reconfiguration features analogous to na...
The primary goal of this paper is to recast the conventional semantics of modal logic, and dynamic e...
Dynamic epistemic logic (DEL) is an extension of modal multi-agent epistemic logic with dynamic oper...
In this paper we compare standard ways to perform belief change with attempts to model such change w...
Dynamic Epistemic Logic is the study of modal logics of model change. DEL (pronounced “dell”) is a h...
Using algebras over some signature to model the notion of state is quite common in specification lan...
Dynamic logic is a language for specifying programming languages and gives a proof calculus for veri...
© 2021 Timo EckhardtIn this thesis I investigate the idea of modeling epistemic updates as static mo...
Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant...
DOI
Add to ORKG