A road to ultrafilter extensions

06/19/2018
by   Jie Fan, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/02/2021

A Framework for Intuitionistic Grammar Logics

We generalize intuitionistic tense logics to the multi-modal case by pla...
research
06/09/2011

Fusions of Description Logics and Abstract Description Systems

Fusions are a simple way of combining logics. For normal modal logics, f...
research
05/19/2023

State-based Modal Logics for Free Choice

We study the mathematical properties of bilateral state-based modal logi...
research
05/07/2023

On guarded extensions of MMSNP

We investigate logics and classes of problems below Fagin's existential ...
research
03/17/2023

Decidability of modal logics of non-k-colorable graphs

We consider the bimodal language, where the first modality is interprete...
research
07/16/2023

Nested Sequents for Quantified Modal Logics

This paper studies nested sequents for quantified modal logics. In parti...

Please sign up or login with your details

Forgot password? Click here to reset