- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
An Update on "Might'"
Journal of Logic, Language and Information 6 (4):361-380 (1997)
Abstract
This paper is on the update semantics for might of Veltman. Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.Author's Profile
Reprint years
2004
DOI
10.1023/a:1008219821036
My notes
Similar books and articles
An update on “might”.Jaap van der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.
Defaults in update semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
Reasoning about Update Logic.Jan Van Eijck & Fer-Jan De Vries - 1995 - Journal of Philosophical Logic 24 (1):19 - 45.
Conditional probability meets update logic.Johan van Benthem - 2003 - Journal of Logic, Language and Information 12 (4):409-421.
Propositional dynamic logic as a logic of knowledge update and belief revision.Jan van Eijck - unknown
Deriving properties of belief update from theories of action.Alvaro Vadell & Yoav Shoham - 1994 - Journal of Logic, Language and Information 3 (2).
Analytics
Added to PP
2010-09-02
Downloads
23 (#507,975)
6 months
4 (#199,934)
2010-09-02
Downloads
23 (#507,975)
6 months
4 (#199,934)
Historical graph of downloads
Author's Profile
Citations of this work
Informational dynamics of epistemic possibility modals.Peter Hawke & Shane Steinert-Threlkeld - 2018 - Synthese 195 (10):4309-4342.
Indicative Conditionals in Objective Contexts.Vít Punčochář & Christopher Gauker - 2020 - Theoria 86 (5):651-687.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5c86f9596c-lp6tz N