Coalgebras can be seen as a natural abstraction of Kripke frames. In the same sense,
coalgebraic logics are generalised modal logics. In this paper, we give an overview of the …

The semantics of modal logics for reasoning about belief or knowledge is often described in
terms of accessibility relations, which is too expressive to account for mere epistemic states …

This paper introduces and explores a conservative extension of inquisitive logic. In
particular, weak negation is added to the standard propositional language of inquisitive …

In this paper we present refinement modal logic. A refinement is like a bisimulation, except
that from the three relational requirements only 'atoms' and 'back'need to be satisfied. Our …

We present a method for synthesising action models that result in a given post-condition
when executed on any Kripke model. Action models represent social actions that affect the …

Abstract In [16], Esakia uses the Vietoris topology to give a coalgebra-flavored definition of
topological Kripke frames, thus relating the Vietoris topology, modal logic and coalgebra. In …

We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of
this logic, which is introduced uniformly with respect to a coalgebraic type functor, required …

We reconstruct the syntax and semantics of monotone modal logic, in the style of Moss'
coalgebraic logic. To that aim, we replace the box and diamond with a modality∇ which …

In this paper we present a sound and complete axiomatization of future event logic. Future
event logic is a logic that generalizes a number of dynamic epistemic logics, by using a new …

Given the “possible worlds” interpretation of modal logic, a refinement of a Kripke model is
another Kripke model in which an agent has ruled out some possible worlds to be consistent …