Thinking About Causation: A Causal Language with Epistemic Operators

Open Access
Authors
Publication date 2020
Host editors
  • M.A. Martins
  • I. Sedlár
Book title Dynamic Logic : New Trends and Applications
Book subtitle Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020 : revised selected papers
ISBN
  • 9783030658397
ISBN (electronic)
  • 9783030658403
Series Lecture Notes in Computer Science
Event 3rd International Workshop on Dynamic Logic, DaLí 2020
Pages (from-to) 17-32
Number of pages 16
Publisher Cham: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract

In this paper we propose a formal framework for modeling the interaction of causal and (qualitative) epistemic reasoning. To this purpose, we extend the notion of a causal model [11, 16, 17, 26] with a representation of the epistemic state of an agent. On the side of the object language, we add operators to express knowledge and the act of observing new information. We provide a sound and complete axiomatization of the logic, and discuss the relation of this framework to causal team semantics.
Document type Conference contribution
Note Longer version of this paper available on ArXiv.org.
Language English
Published at https://doi.org/10.1007/978-3-030-65840-3_2 https://doi.org/10.48550/arXiv.2010.16217
Other links https://www.scopus.com/pages/publications/85098285823
Downloads
2010.16217 (Other version)
Permalink to this page
Back