Reports on Mathematical Logic > 2003 > No. 37 > 79-100
Source
Abstract
Identifiers
journal ISSN : | 0137-2904 |
journal e-ISSN : | 2084-2589 |
Authors
Additional information
Publisher
Fields of science
Bibliography
-
[1] S. R. Buss, An introduction to proof theory, in: Handbook of proof theory, S. R. Buss (editor), pages 1–78. Elsevier, 1998.
-
[2] R. Fagin, J. Y. Halpern, Y. Moses, M. Y. Vardi, Reasoning about knowledge, The MIT Press, 1995.
-
[3] J. Y. Halpern, Y. Moses, A guide to completeness and complexity for modal logics of knowledge and beliefs, Artificial Intelligence, 54 (1992), pp.319–379.