Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Liverpool, UK, 24-26 July 2017 (2017)

Authors
Wesley H. Holliday
University of California, Berkeley
Thomas Icard
Stanford University
Abstract
Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic epistemic logic can be used to give a simple, complete axiomatization of Yalcin's [16] semantic consequence relation for a language with epistemic modals and indicative conditionals. In the other direction, the formal semantics for indicative conditionals due to Kolodny and MacFarlane [9] gives rise to a new dynamic operator that is very natural from the point of view of dynamic epistemic logic, allowing succinct expression of dependence (as in dependence logic) or supervenience statements. We prove decidability for the logic with epistemic modals and Kolodny and MacFarlane's indicative conditional via a full and faithful computable translation from their logic to the modal logic K45.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,814
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Epistemic Modals.Seth Yalcin - 2007 - Mind 116 (464):983-1026.
Ifs and Oughts.Niko Kolodny & John MacFarlane - 2010 - Journal of Philosophy 107 (3):115-143.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
A Counterexample to Modus Tollens.Seth Yalcin - 2012 - Journal of Philosophical Logic 41 (6):1001-1024.

View all 14 references / Add more references

Citations of this work BETA

Talking About Worlds.Matthew Mandelkern - 2018 - Philosophical Perspectives 32 (1):298-325.

Add more citations

Similar books and articles

Wondering What Might Be.Moritz Schulz - 2010 - Philosophical Studies 149 (3):367 - 386.
Realizing What Might Be.Malte Willer - 2011 - Philosophical Studies 153 (3):365 - 375.
Indicative Conditionals:Factual or Epistemic?John Cantwell - 2008 - Studia Logica 88 (1):157-194.
Dynamic Epistemic Logic.Hans van Ditmarsch, 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.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
A Counterexample to Modus Tollens.Seth Yalcin - 2012 - Journal of Philosophical Logic 41 (6):1001-1024.
Modalised Conditionals: A Response to Willer.Moritz Schulz - 2013 - Philosophical Studies 163 (3):673-682.

Analytics

Added to PP index
2017-09-03

Total views
32 ( #328,161 of 2,425,830 )

Recent downloads (6 months)
2 ( #350,836 of 2,425,830 )

How can I increase my downloads?

Downloads

My notes