pith. sign in

arxiv: 1406.5700 · v2 · pith:RU2JDVK4new · submitted 2014-06-22 · 🧮 math.LO

A dichotomy for some elementarily generated modal logics

classification 🧮 math.LO
keywords logicsmodalaxiomatisabilityexistsformulaformulasholdsimultaneously
0
0 comments X
read the original abstract

In this paper we consider the normal modal logics of elementary classes defined by first-order formulas of the form $\forall x_0 \exists x_1 \dots \exists x_n \bigwedge x_i R_\lambda x_j$. We prove that many properties of these logics, such as finite axiomatisability, elementarity, axiomatisability by a set of canonical formulas or by a single generalised Sahlqvist formula, together with modal definability of the initial formula, either simultaneously hold or simultaneously do not hold.

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.