Multi-agent only-knowing revisited, 2010. ,
Proof systems for the coalgebraic cover modality Advances in Modal Logic, pp.1-21, 2008. ,
Modal Logic, volume 53 of Cambridge Tracts in Computer Science, 2001. ,
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
Normal forms in modal logic., Notre Dame Journal of Formal Logic, vol.16, issue.2, pp.229-237, 1975. ,
DOI : 10.1305/ndjfl/1093891703
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
Multi-agent only-knowing revisited, Proc. KR, pp.49-60, 2010. ,
Sequent calculi for propositional nonmonotonic logics, Proc. Nonmonotonic Reasoning, Action, and Change (NRAC), pp.226-278, 2002. ,
DOI : 10.1145/505372.505374
Reasoning About Knowledge, 1995. ,
Multi-agent Only Knowing, Journal of Logic and Computation, vol.11, issue.1, pp.251-265, 2001. ,
DOI : 10.1093/logcom/11.1.41
Towards a Theory of Knowledge and Ignorance: Preliminary Report, Proc. NMR, pp.125-143, 1984. ,
DOI : 10.1007/978-3-642-82453-1_16
Reasoning about only knowing with many agents, Proc. AAAI, pp.655-661, 1993. ,
A logic for planning under partial observability, Proc. AAAI / IAAI, pp.768-773, 2000. ,
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
Total knowledge Logics for multiagent systems, Proc. AAAI, pp.423-42892, 2000. ,
From situation calculus to dynamic epistemic logic Semantics for multi-agent only knowing: extended abstract, Proc. TARK, pp.179-204, 2005. ,