Information Technology Reference
In-Depth Information
8. Governatori, G., Luppi, A.: Labelled tableaux for non-normal modal logics. In: Lamma, E.,
Mello, P. (eds.) AI*IA 1999. LNCS (LNAI), vol. 1792, pp. 119-130. Springer, Heidelberg
(2000)
9. Grossi, D., Roy, O., Huang, H. (eds.): LORI. LNCS, vol. 8196. Springer, Heidelberg (2013)
10. Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowl-
edge and belief. Artif. Intell. 54(2), 319-379 (1992)
11. Halpern, J.Y., Rego, L.C.: Characterizing the np-pspace gap in the satisfiability problem for
modal logic. J. Log.Comput. 17(4), 795-806 (2007)
12. Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)
13. Holliday, W.H., Hoshi, T., Icard III, T.F.: Schematic validity in dynamic epistemic logic:
Decidability. In: van Ditmarsch, H., Lang,J.,Ju, S. (eds.) LORI 2011. LNCS, vol. 6953, pp.
87-96. Springer, Heidelberg (2011)
14. Holliday, W.H., Icard, T.F.: Moorean phenomena in epistemic logic. In: Beklemishev, L.,
Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, pp. 178-199. College Publica-
tions (2010)
15. Indrzejczak, A.: Labelled tableau calculi for weak modal logics. Bulletin of the Section of
Logic 36(3
/
4), 159-171 (2007)
16. Kripke, S.A.: Semantical analysis of modal logic II. non-normal modal propositional calculi.
In: Symposium on the Theory of Models. North-Holland Publ. Co., Amsterdam (1965)
17. Ma, M., Sano, K.: How to update neighborhood models. In Grossi et al. [9], pp. 204-217
18. Montague, R.: Universal grammar. Theoria 36(3), 373-398 (1970)
19. Pacuit, E.: Neighborhood Semantics for Modal Logic. An Introduction, Lecture notes for the
ESSLLI course A Course on Neighborhood Structures for Modal Logic (2007)
20. Papadimitriou, C.H.: Computational complexity. Addison-Wesley (1994)
21. Plaza, J.: Logics of public communications. Synthese 158(2), 165-179 (2007)
22. Schwarzentruber, F.: Lotrecscheme. Electr. Notes Theor. Comput. Sci. 278, 187-199 (2011)
23. Scott, D.: Advice in modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic,
pp. 143-173. Reidel, Dordrecht (1970)
24. van Benthem, J.: Open problems in logical dynamics. In: Gabbay, D., Goncharov, S.S., Za-
kharyaschev, M. (eds.) Mathematical Problems from Applied Logic I. International Mathe-
matical Series, vol. 4, pp. 137-192. Springer, New York (2006)
25. van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University
Press (2011)
26. van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Studia Logica 99(1),
61-92 (2011)
27. van Ditmarsch, H., Kooi, B., van der Hoek, W.: Dynamic Epistemic Logic. Springer (2007)
28. van Ditmarsch, H., Kooi, B.P.: The secret of my success. Synthese 151(2), 201-232 (2006)
29. Vardi, M.Y.: On the complexity of epistemic reasoning.In:ProceedingsoftheFourth Annual
IEEE, SymposiumonLogic in Computer Science (LICS 1989), pp. 243-252 (1989)
30. Velazquez-Quesada, F.R.: Explicit and implicit knowledgeinneighbourhood models. In:
Grossi et al. [9], pp. 239-252
31. Zvesper, J.A.: Playing with Information. PhD thesis, Institute for Logic, LanguageandCom-
putation, Universiteit van Amsterdam (2010)
