A Criterion for Admissibility of Inference Rules in Some Class of S4-Logics Without the Branching Property

@article{Golovanova2003ACF,
  title={A Criterion for Admissibility of Inference Rules in Some Class of S4-Logics Without the Branching Property},
  author={E. M. Golovanova},
  journal={Siberian Mathematical Journal},
  year={2003},
  volume={44},
  pages={568-576}
}
We consider a finitely approximable modal S4-logic without the branching property. Although Rybakov's criterion is inapplicable, using his method we manage to obtain an algorithmic criterion for admissibility of inference rules in a given logic. 

Similar Papers