Skip to main content
SpringerLink
Log in

Symmetries and Epistemic Reasoning

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2013)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8143))

Included in the following conference series:

  • 708 Accesses

Abstract

The paper studies epistemic properties of symmetric communication protocols. It proposes a logical system describing properties common to all protocols with the same group of symmetries. This system is an extension of the standard epistemic logic S5 by a new axiom, capturing properties of symmetry in the modal language. The main results are soundness and completeness theorems for this logical system.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kane, J., Naumov, P.: Epistemic logic for communication chains. In: 14th conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, pp. 131–137 (January 2013)

    Google Scholar 

  2. Hintikka, J.: Knowledge and Belief - An Introduction to the Logic of the Two Notions. Contemporary philosophy. Cornell University Press, Ithaca (1962)

    Google Scholar 

  3. Murtagh, F.: Symmetry in data mining and analysis: A unifying view based on hierarchy. Proceedings of the Steklov Institute of Mathematics 265, 177–198 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  4. Miller, A., Donaldson, A.F., Calder, M.: Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3) (2006)

    Google Scholar 

  5. Kane, J., Naumov, P.: Symmetry in information flow. Annals of Pure and Applied Logic (to appear)

    Google Scholar 

  6. Armstrong, W.W.: Dependency structures of data base relationships. In: Information Processing 1974 (Proc. IFIP Congress, Stockholm), pp. 580–583. North-Holland, Amsterdam (1974)

    Google Scholar 

  7. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, McDaniel College, Westminster, Maryland, 21157, USA

    Jeffrey Kane & Pavel Naumov

Authors
  1. Jeffrey Kane
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pavel Naumov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CENTRIA and Departamento de Informática, Universidade Nova de Lisboa, Campus de Caparica, 2829-516, Caparica, Portugal

    João Leite

  2. Department of Computer Science, New Mexico State University, 88003, Las Cruces, NM, USA

    Tran Cao Son

  3. Dipartimento di Informatica: Scienza e Ingegneria (DISI), University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

  4. Computer Science and Communication Lab, University of Luxembourg, 6 Rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Leon van der Torre

  5. Institute of Information Systems, Vienna University of Technology, Favoritenstraße 9-11, 1040, Vienna, Austria

    Stefan Woltran

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kane, J., Naumov, P. (2013). Symmetries and Epistemic Reasoning. In: Leite, J., Son, T.C., Torroni, P., van der Torre, L., Woltran, S. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2013. Lecture Notes in Computer Science(), vol 8143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40624-9_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40624-9_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40623-2

  • Online ISBN: 978-3-642-40624-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation