pith. sign in

arxiv: 1804.02641 · v1 · pith:7FXRLOYWnew · submitted 2018-04-08 · 🧮 math.LO

A universal Kripke frame for the variable-free fragment of RC^nabla

classification 🧮 math.LO
keywords framenablaalgebrafragmentvariable-freefilterskripkeuniversal
0
0 comments X
read the original abstract

This note characterizes a universal Kripke frame for the variable-free fragment of the reflection calculus with conservativity operators RC$^\nabla$. The frame here is obtained from the set of all filters on the Ignatiev RC$^\nabla$-algebra which is an isomorphic presentation of the Lindenbaum--Tarski algebra of the variable-free fragment of RC$^\nabla$. We give a constructive `coordinatewise' characterization of the set of filters and of the frame relations corresponding to the modalities of the algebra.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.