Showing cs.LOShow all
2 papers · 1 filter
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…