L. Belle, G. Belle, and . Lakemeyer, Multi-agent only-knowing revisited, 2010.

. B?lková, Proof systems for the coalgebraic cover modality Advances in Modal Logic, pp.1-21, 2008.

. Blackburn, Modal Logic, volume 53 of Cambridge Tracts in Computer Science, 2001.

[. Agostino, L. D. Agostino, and G. Lenzi, An axiomatization of bisimulation quantifiers via the <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi>??</mml:mi></mml:math>-calculus, Theoretical Computer Science, vol.338, issue.1-3, pp.64-95, 2005.
DOI : 10.1016/j.tcs.2004.10.040

]. K. Fine, Normal forms in modal logic., Notre Dame Journal of Formal Logic, vol.16, issue.2, pp.229-237, 1975.
DOI : 10.1305/ndjfl/1093891703

]. H. Levesque, All I know: A study in autoepistemic logic, Moss, 2007] L. S. Moss. Finite models constructed from canonical formulas, pp.263-309, 1990.
DOI : 10.1016/0004-3702(90)90056-6

L. Belle, G. Belle, and . Lakemeyer, Multi-agent only-knowing revisited, Proc. KR, pp.49-60, 2010.

. Bonatti, ]. P. Olivetti, N. Bonatti, . Olivetti-]-r, and . Demolombe, Sequent calculi for propositional nonmonotonic logics, Proc. Nonmonotonic Reasoning, Action, and Change (NRAC), pp.226-278, 2002.
DOI : 10.1145/505372.505374

. Fagin, Reasoning About Knowledge, 1995.

L. Y. Halpern, G. Halpern, and . Lakemeyer, Multi-agent Only Knowing, Journal of Logic and Computation, vol.11, issue.1, pp.251-265, 2001.
DOI : 10.1093/logcom/11.1.41

M. Y. Halpern, Y. Halpern, and . Moses, Towards a Theory of Knowledge and Ignorance: Preliminary Report, Proc. NMR, pp.125-143, 1984.
DOI : 10.1007/978-3-642-82453-1_16

]. J. Halpern, Reasoning about only knowing with many agents, Proc. AAAI, pp.655-661, 1993.

. Herzig, A logic for planning under partial observability, Proc. AAAI / IAAI, pp.768-773, 2000.

T. Hoek, E. Van-der-hoek, . Thijsse-]-g, . J. Lakemeyer-]-h, G. Levesque et al., A general approach to multi-agent minimal knowledge: With tools and samples All they know: A study in multi-agent autoepistemic reasoning The logic of knowledge bases, Proc. IJCAIMorgenstern, 1990] L. Morgenstern. A formal theory of multiple agent nonmonotonic reasoning Proc. AAAI, pp.61-84, 1990.
DOI : 10.1023/A:1020578025481

]. I. Pratt-hartmann and M. Wooldridge, Total knowledge Logics for multiagent systems, Proc. AAAI, pp.423-42892, 2000.

D. Van, From situation calculus to dynamic epistemic logic Semantics for multi-agent only knowing: extended abstract, Proc. TARK, pp.179-204, 2005.