Skip to main content
SpringerLink
Log in

Global Modal Logics for Multiagent Systems: A Logical Fibering Approach

  • Conference paper
Computer Aided Systems Theory – EUROCAST 2005 (EUROCAST 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3643))

Included in the following conference series:

  • 1258 Accesses

Abstract

It has become customary to use epistemic modal logic for the formal study of knowledge and beliefs of agents. Based on the concept of logical fibering, which is briefly summarized, we present so-called fibered global modal logics for the logical modeling of multiagent systems (MAS). Considering a simple multi-robot scenario we show that our global logical models allow to study the knowledge and beliefs of the agents, taking into account the communication between the agents.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Fagin, R., Halpern, J.Y., Moses, Y., Vardin, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  2. Gabbay, D.M.: Fibring Logics. Oxford University Press, Oxford (1999)

    MATH  Google Scholar 

  3. Günther, G.: Cybernetic Ontologie and Transjunctional Operations, Urbana, Ill, vol. 68, pp. 313–392. Biological Computer Lab. Publ. (1962)

    Google Scholar 

  4. Günther, G.: Beiträge zur Grundlegung einer operationsfähigen Dialektik, vol. 3. Felix Meiner Verlag, Hamburg (1980)

    Google Scholar 

  5. Pfalzgraf, J.: Logical Fiberings and Polycontextural Systems. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol. 535. Springer, Heidelberg (1991)

    Google Scholar 

  6. Pfalzgraf, J.: On logical fiberings and automated deduction in many-valued logics using Gröbner Bases. In: Revista Real Academia de Ciencias, RACSAM, vol. 98 (2004)

    Google Scholar 

  7. Pfalzgraf, J., Edtmayr, J.: The concept of logical fiberings: Distributed logics for multiagent systems. In: Cybernetics and Systems (EMCSR 2004), vol. 1, pp. 58–63 (2004)

    Google Scholar 

  8. Pfalzgraf, J., Sofronie, V., Stokkermans, K.: On semantics for cooperative agents scenarios. In: Cybernetics and Systems (EMCSR 1996), vol. 1, pp. 201–206 (1996)

    Google Scholar 

  9. Porter, T.: Geometric aspects of multiagent systems. Electronic Notes in Theoretical Computer Science 81 (2003)

    Google Scholar 

  10. Wang, D., Pfalzgraf, J.: Automated Practical Reasoning. Springer, Heidelberg (1995)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Salzburg, Jakob Haringer Str. 2, A-5020, Salzburg, Austria

    Johann Edtmayr

Authors
  1. Johann Edtmayr
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Instituto Universitario de Ciencias y Tecnologícas Cibernéticas, Universidad de Las Palmas de Gran Canaria, Campus de Tafira, 35017, Las Palmas de Gran Canaria,, Las Palmas, Spain

    Roberto Moreno Díaz

  2. Systems Theory, Johannes Kepler University Linz, Altenbergerstrasse 69, A-4040, Linz, Austria

    Franz Pichler

  3. Universidad de Las Palmas de Gran Canaria, Instituto Universitario de Ciencias y Tecnologícas Cibernéticas, Campus de Tafira, 35017, Las Palmas de Gran Canaria, Las Palmas, Spain

    Alexis Quesada Arencibia

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Edtmayr, J. (2005). Global Modal Logics for Multiagent Systems: A Logical Fibering Approach. In: Moreno Díaz, R., Pichler, F., Quesada Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2005. EUROCAST 2005. Lecture Notes in Computer Science, vol 3643. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11556985_80

Download citation

  • DOI: https://doi.org/10.1007/11556985_80

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29002-5

  • Online ISBN: 978-3-540-31829-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation