Frame-validity games and lower bounds on the complexity of modal axioms
Abstract
We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame-property. Using these games, we prove lower bounds on the above measures for a number of well-known modal axioms; what is more, for some of the axioms, we show that they are optimal among the formulae defining the respective class of frames.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2018
- DOI:
- 10.48550/arXiv.1808.05051
- arXiv:
- arXiv:1808.05051
- Bibcode:
- 2018arXiv180805051B
- Keywords:
-
- Computer Science - Logic in Computer Science