Jie Fan
Published 2018-06-19Version 1
We propose a uniform method of constructing ultrafilter extensions from canonical models, which is based on the similarity between ultrafilters and maximal consistent sets. This method can help us understand why the known ultrafilter extensions of models for normal modal logics and for classical modal logics are so defined. We then apply this method to obtain ultrafilter extensions of models for Kripke contingency logics and for neighborhood contingency logics.
A sequence of neighborhood contingency logics
A module structure over maximal consistent sets
Assuring and critical labels for relations between maximal consistent sets for interpretability logics
![QR code for arXiv:1806.07187 [math.LO]](http://oss.arxitics.com/images/favicon.svg)