A Simple Logic of the Hide and Seek Game

Article Type

Research Article

Publication Title

Studia Logica

Abstract

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion with respect to such a language extension, and we add a new modal variant to that class. We discuss the relative expressive power of the proposed logic in comparison to the standard modal counterparts. We prove that the model checking problem for the resulting logic is P -complete. In addition, by exploring the connection with related product logics, we gain more insight towards having a better understanding of the subtleties of the proposed framework.

First Page

821

Last Page

853

DOI

https://10.1007/s11225-023-10039-4

Publication Date

10-1-2023

Comments

Open Access, Green

This document is currently not available here.

Share

COinS