Wyniki
-
Even tabular modal logics sometimes do not have independent base for admissible rules
Vladimir V. Rybakov
Bulletin of the Section of Logic , 24 /1 (1995) s. 37-40 -
The structure of rigid frames of restricted depth
Vladimir V. Rybakov
Bulletin of the Section of Logic , 27 /4 (1998) s. 172-181 -
An explicit basis for rules admissible in modal system S4
Vladimir V. Rybakov
Bulletin of the Section of Logic , 28 /3 (1999) s. 135-144 -
A View of Logical Omniscience Problem
Vladimir V. Rybakov
Bulletin of the Section of Logic , 30 /4 (2001) s. 213-229 -
Unification in Common Knowledge Logics
Vladimir V. Rybakov
Bulletin of the Section of Logic , 31 /4 (2002) s. 207-215