Inductive Modal Logics¹

Article type: Research Article

Authors: Vakarelov, Dimiter

Affiliations: Department of Mathematical Logic and its Applications Sofia University, Faculty of Mathematics and Informatics Boul. Anton Ivanov 5, 1126 Sofia, Bulgaria

Note: [1] Research partially supported by contract # I 32/91 with the Ministry of Science and Education of Bulgaria.

Abstract: 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.

DOI: 10.3233/FI-1992-163-411

Journal: Fundamenta Informaticae, vol. 16, no. 3-4, pp. 383-405, 1992