Hybrid logic of the hide and seek game
The logic of the hide and seek game LHS was proposed to capture interactions between
agents in pursuit-evasion environments. In this paper, we explore a hybrid extension of LHS …
agents in pursuit-evasion environments. In this paper, we explore a hybrid extension of LHS …
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
The logic of the hide and seek game LHS was proposed to reason about search missions
and interactions between agents in pursuit-evasion environments. As proved in [,], having an …
and interactions between agents in pursuit-evasion environments. As proved in [,], having an …
Agent-Knowledge Logic for Alternative Epistemic Logic
Y Nishimura - arxiv preprint arxiv:2405.13398, 2024 - arxiv.org
Epistemic logic is known as logic that captures the knowledge and beliefs of agents and has
undergone various developments since Hintikka (1962). In this paper, we propose a new …
undergone various developments since Hintikka (1962). In this paper, we propose a new …