English

{\L}-Axiomatizability in intermediate and normal modal logics

Logic 2014-07-23 v1

Abstract

A set FF of formulas is complete relative to a given class of logics, if every logic from this class can be axiomatized by formulas from FF. A set of formulas FF is {\L}-complete relative to a given class of logics, if every logic of this class can be {\L}-axiomatized by formulas from FF, that is, every of these logics can be defined by an \L\L-deductive system with axioms and anti-axioms from FF and inference rules modus ponens, modus tollens, substitution and reverse substitution. We prove that every complete relative to \Ext\Int\Ext\Int (or \Ext\KF\Ext\KF) set of formulas is {\L}-complete. In particular, every logic from \Ext\Int\Ext\Int (or \Ext\KF\Ext\KF) can be {\L}-axiomatized by Zakharyaschev's canonical formulas.

Keywords

Cite

@article{arxiv.1407.5812,
  title  = {{\L}-Axiomatizability in intermediate and normal modal logics},
  author = {Alex Citkin},
  journal= {arXiv preprint arXiv:1407.5812},
  year   = {2014}
}
R2 v1 2026-06-22T05:09:45.063Z