Open Advanced Search

Log in
Enterprise Plans
Free Trial

Log in
Free Trial
Enterprise Plans
Browse
Features
Pricing

DeepDyve

Advanced Search

show/hide query preview

With all of the words or DOIs:

DeepDyve's default query mode: search by keyword or DOI.

With the exact phrase:

Require these words, in this exact order. Do not surround your terms in double-quotes ("") in this field.

With at least one of the words:

Find any of these words, separated by spaces

Without the words:

Exclude each of these words, separated by spaces

With words in the article title:

Search for these terms only in the title of an article

Published between the years:

With the following authors:

Most effective as: LastName, First Name or Lastname, FN

With words in the journal name:

Search for articles published in journals where these words are in the journal name

Reset filters

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

Dynamic Formal Epistemology

Part of the Synthese Library Book Series (volume 351)

Editors: Girard, Patrick; Roy, Olivier; Marion, Mathieu

DOI: 10.1007/978-94-007-0074-1

ISBN: 978-94-007-0073-4

Publisher: Springer Netherlands - Springer Journals

Dec 1, 2010

1 - 10 of 13 Chapters

Available

Introduction

Girard, Patrick; Marion, Mathieu; Roy, Olivier

Pages: 1 –4

[The frontier of contemporary epistemologyEpistemology is dynamic. Shifting from purely conceptual analysis, the theory of individual knowledgeKnowledge, beliefBelief and justificationJustification now includes an increasing amount of formal work, utilizing either logic or...
Available

Logics of Rational Interaction

Kooi, Barteld; Pacuit, Eric

Pages: 5 –32

[This paper provides an overview of temporal and dynamic epistemic logic, two important logical approaches to rational interaction. There are may approaches to rational interaction and a natural question is how the approaches under consideration are related. We will also discuss relations to...
Available

Dynamic Epistemic Logic and Temporal Modality

Yap, Audrey

Pages: 33 –50

[Dynamic epistemic logic allows us to model agents who learn new information about the world from events which they observe. In this paper, I add a backward-looking modality to the dynamic language, to allow for our expressing statements about what an agent knew before an event took place. This...
Available

Exploring the Power of Converse Events

Aucher, Guillaume; Herzig, Andreas

Pages: 51 –74

[D ynamic epistemic logic as viewed by Baltag, Moss and Solecki (BMS) and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, BMS adds dynamics to epistemic logic by introducing so-called event models as syntactic objects into the language. On the other hand,...
Available

Modal Logic for Qualitative Dynamics

Sarenac, Darko

Pages: 75 –101

[The goal of the present study is to introduce a general formalism in which different dynamic modal logics can be compared and categorized. Our analysis will conform to the relatively standard analysis of dynamical systemsDynamical systems|( that dates back at least as far as Henri Poincaré’s...
Available

Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic

Bonnay, Denis; Égré, Paul

Pages: 103 –126

[By reflecting on the limits of one’s knowledge , it may be possible to acquire further knowledge that was unavailable prior to reflection. We propose a dynamic analysis of the process whereby a subject reflects on the reliability conditions of her perceptual knowledge . Following earlier work on...
Available

Simple Evidence Elimination in Justification Logic

Renne, Bryan

Pages: 127 –149

[Suppose that the prosecutor presents the jury with exhibit x1, an audio recording of a boss ordering his subordinate to falsify the accounting ledgers so as to deceive the investors into thinking that his insolvent company is not actually insolvent. Suppose further that the judge provides the...
Available

Belief Update as Social Choice

van Benthem, Johan

Pages: 151 –160

[Dynamic epistemic-doxastic logics describe the new knowledge or new beliefs indexBelief of agents after some informational event has happened. Technically, this requires an update rule that turns a doxastic-epistemic modelM(recording the current information state of the agents) and a dynamic...
Available

Revision with Conditional Probability Functions: Two Impossibility Results

Lepage, François; Morgan, Charles

Pages: 161 –172

[In the general framework which takes conditional probability functions as a primitive notion, we prove two triviality results about the possibility of defining the probability Pr(A > B,Γ) of a counterfactual as the probability of the consequent B after some revision of the probability function...
Available

Indeterminacy and Belief Change

Arló-Costa, Horacio

Pages: 173 –195

[Most of the literature on belief change presupposes a theory of rationality according to which rational agents are optimizers: they chose the best among the feasible epistemic options available to them. But when epistemic values are indeterminate this view of rationality is not applicable. In...

results per page

Browse All eBooks

Features

Search and discover articles on DeepDyve, PubMed, and Google Scholar
Read the full-text of open access and premium content
Organize articles with folders and bookmarks
Collaborate on and share articles and folders

Info

Pricing
Enterprise Plans
Browse Journals & Topics
About DeepDyve

Help

Help
Publishers
Contact Us

Sign up for your 14-Day Free Trial Now!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Continue with Facebook

By signing up, you agree to DeepDyve’s Terms of Service and Privacy Policy.

Already have an account? Log in

Save Article to Bookmarks

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.

Subscribe to Journal Email Alerts

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.

Follow a Journal

To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.

Our policy towards the use of cookies

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.

cookie policy