Affiliations: Institut de recherche en informatique de Toulouse, CNRS — Université de Toulouse, 118 route de Narbonne, 31062 Toulouse Cedex 9, France. Philippe.Balbiani@irit.fr | Department of Mathematical Logic and Applications, Sofia University, Blvd James Bouchier 5, 1126 Sofia, Bulgaria. tinko@fmi.uni-sofia.bg
Note: [] Address for correspondence: Institut de recherche en informatique de Toulouse, CNRS — Université de Toulouse, 118 route de Narbonne, 31062 Toulouse Cedex 9, France
Abstract: This paper studies the concepts of definability and canonicity in Boolean logic with a binary relation. Firstly, it provides formulas defining first-order or second-order conditions on frames. Secondly, it proves that all formulas corresponding to compatible first-order conditions on frames are canonical.
