Follow
Daniil Khaitovich
Title
Cited by
Cited by
Year
Plan-restricted group STIT logic
D Khaitovich
TbiLLC 2023, 2023
2023
Neighbourhood semantics and axioms for strategic fragment of classical stit logic
D Khaitovich
arXiv preprint arXiv:2203.09225, 2022
2022
Counterfactuals in Branching Time: The Weakest Solution
D Khaitovich
arXiv preprint arXiv:2110.11689, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–3