An essentially algebraic glance to Kripke semantics: the S5 case
Logic
2025-11-04 v1
Abstract
We show that the category of finite -algebras (dual to finite reflexive, symmetric and transitive Kripke frames) classifies the essentially algebraic theory whose models are Kan extensions of faithful actions of the finite symmetric groups.
Cite
@article{arxiv.2511.00188,
title = {An essentially algebraic glance to Kripke semantics: the S5 case},
author = {Matteo De Berardinis and Silvio Ghilardi},
journal= {arXiv preprint arXiv:2511.00188},
year = {2025}
}