Contingency and accident are two important notions in philosophy and philosophical logic.
Their meanings are so close that they are mixed up sometimes, in both daily life and …

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 …

In this thesis we will be considering translations between logics–these being functions which
map formulas in the language of one logic (the source logic) to formulas in the language of …

¦h£ip 3 £j¦kp Page 1 The Boxdot Conjecture and the Language of Essence and Accident C
S P D, B C, C U …

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 …

In epistemic logic, the beliefs of an agent are modeled in a way very similar to knowledge,
except that they are fallible. Thus, the pattern of an agent's true beliefs is an interesting …

In this paper we analyze the connection between reflexive-insensitive modal logics, logics of
provability, and the modal logic of forcing. Because of the inter-definability of the∘-operator …

The boxdot conjecture asserts that every normal modal logic that faithfully interprets by the
well‐known boxdot translation is in fact included in. We confirm that the conjecture is true …

Abstract The Boxdot Conjecture is shown to hold for a novel class of modal systems. Each
system in this class is K plus an instance of a natural generalization of the McKinsey …

By slightly adapting two equivalent semantics of noncontingency operator, we obtain two
variants,⊡ and⊞, with nonequivalent semantics. We show that on the class of models …