Work

A road to ultrafilter extensions

Year: 2018

Type: preprint

Abstract: 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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.1806.07187

Author: Fan, Jie

Institutions: Chinese Academy of Sciences, University of Chinese Academy of Sciences

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2809317446

Cites:

Cited by:

Related to: 10