Some applications of dynamic epistemic logics in formal epistemology

București: Pro Universitaria (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

BC21.E64.D73 2015

ISBN(s)

9786062604165

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dynamic graded epistemic logic.Minghui Ma & Hans van Ditmarsch - 2019 - Review of Symbolic Logic 12 (4):663-684.
Epistemic Logic and Epistemology.Wesley H. Holliday - 2018 - In Sven Ove Hansson Vincent F. Hendricks (ed.), Handbook of Formal Philosophy. Springer. pp. 351-369.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Epistemic Logic and Epistemology.Boudewijn de Bruin - 2007 - In Vincent F. Hendricks & Duncan Pritchard (eds.), New Waves in Epistemology. Palgrave-Macmillan.
A Multi-type Display Calculus for Dynamic Epistemic Logic.Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano & Vlasta Sikimić - 2016 - Journal of Logic and Computation 6 (26):2017–2065.
Modelling the epistemics of communication with functional programming.Jan van Eijck - unknown
Terminating Tableaux for Dynamic Epistemic Logics.Jens Ulrik Hansen - 2010 - Electronic Notes in Theoretical Computer Science 262:141-156.
Dynamic epistemic logic with branching temporal structures.Tomohiro Hoshi & Audrey Yap - 2009 - Synthese 169 (2):259 - 281.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Knowledge Contributors.Vincent F. Hendricks, Klaus Frovin Jørgensen & Stig Andur Pedersen (eds.) - 2011 - Dordrecht, Netherland: Springer.
Indicative Conditionals and Dynamic Epistemic Logic.Wesley H. Holliday & Thomas Icard - 2017 - Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Liverpool, UK, 24-26 July 2017.
To know or not to know: epistemic approaches to security protocol verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (S1):51-76.
Dynamic logics of knowledge and access.Tomohiro Hoshi & Eric Pacuit - 2010 - Synthese 177 (1):29 - 49.
Logics of Informational Interactions.Alexandru Baltag & Sonja Smets - 2015 - Journal of Philosophical Logic 44 (6):595-607.

Analytics

Added to PP
2022-12-14

Downloads
10 (#1,168,820)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alexandru Dragomir
University of Bucharest

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references