A universal Kripke frame for the variable-free fragment of RC$^\nabla$
Logic
2018-04-10 v1
Abstract
This note characterizes a universal Kripke frame for the variable-free fragment of the reflection calculus with conservativity operators RC. The frame here is obtained from the set of all filters on the Ignatiev RC-algebra which is an isomorphic presentation of the Lindenbaum--Tarski algebra of the variable-free fragment of RC. We give a constructive `coordinatewise' characterization of the set of filters and of the frame relations corresponding to the modalities of the algebra.
Keywords
Cite
@article{arxiv.1804.02641,
title = {A universal Kripke frame for the variable-free fragment of RC$^\nabla$},
author = {Lev D. Beklemishev},
journal= {arXiv preprint arXiv:1804.02641},
year = {2018}
}