3 papers
cs.LO2025
Hyperintensional Intention
Daniil Khaitovich, Aybüke Özgün
Intentions are crucial for our practical reasoning. The rational intention obeys some simple logical principles, such as agglomeration and consistency, among others, motivating the…
cs.LO2022
Neighbourhood semantics and axioms for strategic fragment of classical stit logic
Daniil Khaitovich
STIT (sees to it that) semantics is one of the most prominent tools in modal logic of agency, widely used among both philosophers and responsible AI scholars. STIT logic surveys th…
math.LO2021
Counterfactuals in Branching Time: The Weakest Solution
Daniil Khaitovich
In this paper, we present a formal analysis of temporally sensitive counterfactual conditionals. We observe a set of key metaphysical and conceptual problems in regards to counterf…