Subordination algebras in modal logic
Logic
2020-06-17 v2
Abstract
The aim of this paper is to show that even if the natural algebraic semantic for modal (normal) logic is modal algebra, the more general class of subordination algebras (roughly speaking, the non symmetric contact algebras) is adequate too - so leading to completeness results. This motivates for an algebraic (in the sense of universal algebra) study of those relational structures that are subordinate algebras.
Cite
@article{arxiv.2004.14919,
title = {Subordination algebras in modal logic},
author = {Laurent De Rudder and Georges Hansoul and Valentine Stetenfeld},
journal= {arXiv preprint arXiv:2004.14919},
year = {2020}
}