Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Logic, Rationality and Interaction

LORI 2015: Logic, Rationality, and Interaction pp 230–242Cite as

Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles

  • Conference paper
  • First Online:

  • 996 Accesses

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

Abstract

Epistemic propositional dynamic logic (EPDL) is a combination of epistemic logic and propositional dynamic logic. The properties, perfect recall and no miracles, capture the interactions between actions and knowledge. In this paper, we present a tableau-based decision procedure for deciding satisfiability of single-agent EPDL with perfect recall and no miracles. We prove the soundness and completeness of the tableau procedure with respect to models with perfect recall and no miracles.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ajspur, M., Goranko, V.: Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge. In: Lodaya, K. (ed.) Logic and Its Applications. LNCS, vol. 7750, pp. 80–96. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  2. Ajspur, M.L.: Tableau-based decision procedures for epistemic and temporal epistemic logics. PhD thesis, Doctoral School of Communication, Business and Information Technologies, Roskilde University, Denmark (October 2013)

    Google Scholar 

  3. Blackburn, P., de Rijke, M., de Venema, Y.: Modal Logic. Cambridge University Press, New York (2001)

    Book  MATH  Google Scholar 

  4. Cerrito, S., David, A., Goranko, V.: Optimal tableaux-based decision procedure for testing satisfiability in the alternating-time temporal logic ATL+. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol. 8562, pp. 277–291. Springer, Heidelberg (2014), doi:10.1007/978-3-319-08587-6-21

    Google Scholar 

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

    MATH  Google Scholar 

  6. Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18(2), 194–211 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  7. Goranko, V., Shkatov, D.: Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Transactions on Computational Logic 11(1) (2009)

    Google Scholar 

  8. Halpern, J.Y., van der Meyden, R., Vardi, M.Y.: Complete axiomatizations for reasoning about knowledge and time. SIAM Journal on Computing 33(3), 674–703 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  9. Hintikka, J.: Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press (1962)

    Google Scholar 

  10. Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. Journal of Logic, Language and Information 12(4), 453–467 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  11. Pratt, V.R.: A practical decision method for propositional dynamic logic: Preliminary report. In: Lipton, R.J., Burkhard, W.A., Savitch, W.J., Friedman, E.P., Aho, A.V. (eds.) Proceedings of the 10th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, May 1-3, pp. 326–337. ACM (1978)

    Google Scholar 

  12. Schmidt, R.A., Tishkovsky, D.: Combining dynamic logic with doxastic modal logics. In: Balbiani, P., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M. (eds.) Advances in Modal Logic 4, Papers from the Fourth Conference on “Advances in Modal logic,” held in Toulouse (France), pp. 371–392. King’s College Publications (October 2002)

    Google Scholar 

  13. Schmidt, R.A., Tishkovsky, D.: On combinations of propositional dynamic logic and doxastic modal logics. Journal of Logic, Language and Information 17(1), 109–129 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  14. Schmidt, R.A., Tishkovsky, D., Hustadt, U.: Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Studia Logica 78(3), 381–415 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  15. Smith, D.E., Weld, D.S.: Conformant graphplan. In: Mostow, J., Rich, C. (eds.) Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 1998, IAAI 1998, Madison, Wisconsin, USA, July 26-30, pp. 889–896. AAAI Press/The MIT Press (1998)

    Google Scholar 

  16. van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. Journal of Philosophical Logic 38(5), 491–526 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  17. Wolper, P.: The tableau method for temporal logic: an overview. Logique et Analyse 28(110-111), 119–136 (1985)

    MathSciNet  MATH  Google Scholar 

  18. Yu, Q., Li, Y., Wang, Y.: A dynamic epistemic framework for conformant planning. In: Ramanujam, R. (ed.) Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Pittsburgh, USA, June 4-6, pp. 249–259. ACM Digital Library (2015)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Peking University, Beijing, China

    Yanjun Li

  2. Faculty of Philosophy, University of Groningen, The Netherlands, Groningen

    Yanjun Li

Authors
  1. Yanjun Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept of Comp Sci, Univ of Liverpool, Liverpool, United Kingdom

    Wiebe van der Hoek

  2. Department of Philosophy, Group in Logic & the Methodology of Sci. University of California, Berkeley, California, USA

    Wesley H. Holliday

  3. Institute of Philosophy of Mind and Cognition, National Yang-Ming University, Taipei, Taiwan

    Wen-fang Wang

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Li, Y. (2015). Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles. In: van der Hoek, W., Holliday, W., Wang, Wf. (eds) Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science(), vol 9394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48561-3_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-48561-3_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-48560-6

  • Online ISBN: 978-3-662-48561-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation