Neighborhood models generalize the well-known relational models, or Kripke models, for
modal logic. Although the idea underlying neighborhood models is implicit in the seminal …

A formula is contingent, if it is possibly true and possibly false; a formula is non-contingent, if
it is not contingent, ie, if it is necessarily true or necessarily false. In this paper, we propose a …

Abstract Peirce's novel, post-1903 interrogative construal of abductive logic is studied in
terms of a dynamic approach. The information flow in abduction is interpreted by a dynamic …

In this article, we study logics of unknown truths and false beliefs under neighborhood
semantics. We compare the relative expressivity of the two logics. It turns out that they are …

We introduce a class of neighbourhood frames for graded modal logic embedding Kripke
frames into neighbourhood frames. This class of neighbourhood frames is shown to be first …

We investigate dynamic operations acting over a knowing how logic. Our approach makes
use of a recently introduced semantics for the knowing how operator, based on an …

In this paper we investigate certain systems of propositional intuitionistic modal logic defined
semantically in terms of neighborhood structures. We discuss various restrictions imposed …

In this article, we study logics of unknown truths and false beliefs under neighborhood
semantics. We compare the relative expressivity of the two logics. It turns out that they are …

This paper presents a tableau calculus for two semantic interpretations of public
announcements over monotone neighbourhood models: the intersection and the subset …

In this work, we present a multi-agent logic of knowledge and change of knowledge
interpreted on topological structures. Our dynamics are of the so-called semi-private …