This article proposes the axiomatizations of contingency logics of various natural classes of
neighborhood frames. In particular, by defining a suitable canonical neighborhood function …

As a new type of epistemic logics, the logics of knowing how capture the high-level
epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing …

In this paper, we propose a new neighborhood semantics for contingency logic, by
introducing a simple property in standard neighborhood models. This simplifies the …

Research on the expressiveness of coalgebraic modal logics with respect to semantic
equivalence notions has so far focused mainly on finding logics that are able to distinguish …

We develop a uniform coalgebraic approach to J\'onsson-Tarski and Thomason type
dualities for various classes of neighborhood frames and neighborhood algebras. In the first …

Abstract As shown in Fan (Journal of Philosophical Logic, 48, 425–445, 2019), there are
some similarities/resemblances between contingency and accident. Given this, one may …

We define a new logic-induced notion of bisimulation (called $\rho $-bisimulation) for
coalgebraic modal logics given by a logical connection, and investigate its properties. We …

Categorical dualities are an important tool in the study of (modal) logics. They offer
conceptual understanding and enable the transfer of results between the different semantics …

We propose a uniform method of constructing ultrafilter extensions from canonical models,
which is based on the similarity between ultrafilters and maximal consistent sets. This …

This note proposes various axiomatizations of contingency logic under neighborhood
semantics. In particular, by defining a suitable canonical neighborhood function, we give …