Fundamenta Informaticae > 2011 > Vol. 106, nr 2-4 > 175-190
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Belardinelli, F., Lomuscio, A.: A Complete First-Order Logic of Knowledge and Time, KR (G. Brewka, J. Lang, Eds.), AAAI Press, 2008, ISBN 978-1-57735-384-3.
-
[2] Belardinelli, F., Lomuscio, A.: Quantified epistemic logics for reasoning about knowledge in multi-agent systems, Artificial Intelligence, 173(9-10), 2009, 982-1013.
-
[3] Blackburn, P., van Benthem, J., Wolter, F., Eds.: Handbook of Modal Logic, Elsevier, 2007.