-
17Information walls and norm-dependent abilitiesSynthese 207 (1): 39. 2026.The article studies the interplay between obligations, knowledge, and abilities. It introduces the notion of norm-dependent abilities–something that an agent knows how to achieve using a knowingly allowed action and assuming that the other agents also use only knowingly allowed actions. The main technical contribution is a sound and complete logical system that describes the interplay between the modalities representing knowledge, obligations, and norm-dependent abilities in the presence of info…Read more
-
20Epistemic Logic with Agentically Non-rigid DesignatorsJournal of Philosophical Logic 55 (1): 1-23. 2025.The article introduces chained designators, like “my buddy’s boss’s buddy”, into epistemic logic and gives a sound and complete axiomatization of a knowledge modality parameterized by such designators. It also studies the expressive power of the proposed modality.
-
37An Epistemic Perspective on Subjective and Objective TimeJournal of Philosophical Logic 54 (5): 1019-1059. 2025.The article introduces two modalities representing knowledge about the subjective and objective current moment of time. It provides formal semantics of these modalities, shows that the modalities are not definable through each other, and gives a sound and complete axiomatisation of their interplay. The axiomatisation contains an unusual Insertion inference rule generalising the Necessitation rule. The article proves that the Insertion rule is not derivable from the other axioms and inference rul…Read more
-
36Classical Implication for Three-Valued LogicJournal of Logic, Language and Information 34 (3): 319-340. 2025.The article proposes a new implication for three-valued logical systems. The tautologies of this implication are exactly the same as for the classical implication in the two-valued Boolean logic. In the setting of this new implication, the conjunction and disjunction can be viewed as binary modalities. The article studies the definability and complete axiomatisation of the three versions of these modalities capturing Kleene’s, weak Kleene’s, and short-circuit versions of the connectives.
