-
Wolter &
Zakharyaschev (2008)
Rybakov (1997), §3.9
Rybakov (1997), Thm. 3.9.3
Rybakov (1997), Thms. 3.9.6, 3.9.9, 3.9.12; cf. Chagrov &
Zakharyaschev (1997)...
-
correspond to a
larger class of frames.
Alexander Chagrov and
Michael Zakharyaschev,
Modal Logic, vol. 35 of
Oxford Logic Guides,
Oxford University Press...
-
Computer Science, Springer, ISBN 9781475734522 Chagrov, Alexander;
Zakharyaschev,
Michael (1997),
Modal logic,
Oxford Logic Guides, vol. 35,
Oxford University...
- 2017-04-30.
Retrieved 2012-03-19. Dov M. Gabbay; A. Kurucz; F. Wolter; M.
Zakharyaschev (2003). Many-dimensional
modal logics:
theory and applications. Elsevier...
- ****aridze 2009.
Bezhanishvili & De Jongh, p. 8.
Takeuti 2013.
Chagrov &
Zakharyaschev 1997, pp. 58–59.
Constable &
Bickford 2014. Sørensen &
Urzyczyn 2006...
-
Cambridge University Press. ISBN 0-521-80200-8 Chagrov, Aleksandr; and
Zakharyaschev,
Michael (1997)
Modal Logic.
Oxford University Press. ISBN 0-19-853779-4...
- Logic. Vol. 2. Springer. pp. 1–88. ISBN 978-94-009-6259-0. Chagrov, A.;
Zakharyaschev, M. (1997).
Modal Logic.
Clarendon Press. ISBN 978-0-19-853779-3. Cresswell...
- 1974.
Medvedev 1962.
Medvedev 1963.
Medvedev 1966. Chagrov, Alexander;
Zakharyaschev,
Michael (1997).
Modal Logic. Oxford:
Clarendon Press. p. 605. ISBN 9780198537793...
-
provability logic.
Interior algebra Heyting algebra A.
Chagrov and M.
Zakharyaschev,
Modal Logic,
Oxford Logic Guides vol. 35,
Oxford University Press,...
-
modal companion.
Neighborhood semantics Alexander Chagrov and
Michael Zakharyaschev,
Modal Logic, vol. 35 of
Oxford Logic Guides,
Oxford University Press...
