The axiomatization of override and update

, , &
Journal of Applied Logic 8 (1):141-150 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2009.11.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

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

Conditional probability meets update logic.Johan van Benthem - 2003 - Journal of Logic, Language and Information 12 (4):409-421.
An axiomatization for until and since over the reals without the IRR rule.Mark Reynolds - 1992 - Studia Logica 51 (2):165 - 193.
Wally axiomatics of Branching Continuations.Petr Švarný - unknown
A new axiomatization of Jaśkowski's discussive logic.Vladimir L. Vasyukov - 2001 - Logic and Logical Philosophy 9:35.
Comments on enlightened update.Mats Rooth - manuscript
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
Varieties of update.Sarah E. Murray - 2014 - Semantics and Pragmatics 7 (2):1--53.
A Gentzen-style axiomatization for basic predicate calculus.Mojtaba Aghaei & Mohammad Ardeshir - 2003 - Archive for Mathematical Logic 42 (3):245-259.
Axiomatization of a Denotational Semantics for First-order Logic.C. Vermeulen - 2004 - Logic Journal of the IGPL 12 (4):277-299.
Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.
Compositional belief update.James Delgrande & Francis Jeffry Pelletier - unknown
Propositional dynamic logic as a logic of knowledge update and belief revision.Jan van Eijck - unknown
Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
Belief Update Using Graphs.Konstantinos Georgatos - 2008 - In David Wilson & Chad H. Lane (eds.), FLAIRS 21. AAAI Press. pp. 649-654.
From Mandarin Texts to Update with Centering.Maria Bittner - manuscript

Analytics

Added to PP
2016-06-30

Downloads
15 (#952,044)

6 months
2 (#1,206,195)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Restriction in Program Algebra.Marcel Jackson & Tim Stokes - 2023 - Logic Journal of the IGPL 31 (5):926-960.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
The Two-valued Iterative Systems of Mathematical Logic.H. E. Vaughan - 1941 - Journal of Symbolic Logic 6 (3):114-115.

Add more references