A Tableau Method for Public Announcement Logics-Reference-Cited by-同舟云学术

A Tableau Method for Public Announcement Logics

Published:2007 Issue: Volume: Page:43-59
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Balbiani Philippe,van Ditmarsch Hans,Herzig Andreas,de Lima Tiago

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73099-6_6

Reference15 articles.

1. Plaza, J.: Logics of public communications. In: Emrich, M.L., Hadzikadic, M., Pfeifer, M.S., Ras, Z.W. (eds.) Proceedings of ISMIS 1989, pp. 201–216 (1989)

2. Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. Technical Report SEN-R9922, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands (1999)

3. Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands (1999)

4. Kooi, B.: Expressivity and completeness for public update logic via reduction axioms. Journal of Applied Non-Classical Logics (to appear, 2007)

5. van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Formal Approach to Analyzing Cyber-Forensics Evidence;Computer Security;2018

2. LotrecScheme;Electronic Notes in Theoretical Computer Science;2011-11

3. Description Logics for Relative Terminologies;Interfaces: Explorations in Logic, Language and Computation;2010

4. ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’;The Review of Symbolic Logic;2008-10