Marcus Kracht Notes on the Space Requirements for Checking Satisfiability in Modal Logics. [Citation Graph (0, 0)][DBLP] Advances in Modal Logic, 2002, pp:243-264 [Conf]

Carsten Lutz Description Logics with Concrete Domains-A Survey. [Citation Graph (0, 0)][DBLP] Advances in Modal Logic, 2002, pp:265-296 [Conf]

Yutaka Miyazaki Binary Logics, Orthologics, and their Relations to Normal Modal Logics. [Citation Graph (0, 0)][DBLP] Advances in Modal Logic, 2002, pp:313-334 [Conf]

Hiroakira Ono Completions of Algebras and Completeness of Modal and Substructural Logics. [Citation Graph (0, 0)][DBLP] Advances in Modal Logic, 2002, pp:335-370 [Conf]

Dmitrij P. Skvortsov An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics. [Citation Graph (0, 0)][DBLP] Advances in Modal Logic, 2002, pp:461-474 [Conf]

Dimiter Vakarelov Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class. [Citation Graph (0, 0)][DBLP] Advances in Modal Logic, 2002, pp:499-518 [Conf]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP