Inductive Modal Logics1
Dimiter Vakarelov · Fundamenta Informaticae · 1992
The main aim of this paper is to study inductive modal logics – bi-modal logics, containing the Segerberg’s induction axiom Seg, known from PDL. An adequate semantical characterization of Seg is given, and completeness theorems for a number of inductive modal logics are proved by a generalization of Segerberg’s filtration from PDL.