Parallel Theories and Routine Revision in First-Order Logic

Mathematical Logic Quarterly 33 (5):457-459 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19870330510

Links

PhilArchive



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

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

Distance based revision of preferential logics.L. Audibert, C. Lhoussaine & K. Schlechta - 1999 - Logic Journal of the IGPL 7 (4):429-446.
Notes on ω-inconsistent theories of truth in second-order languages.Eduardo Barrio & Lavinia Picollo - 2013 - Review of Symbolic Logic 6 (4):733-741.
Belief revision in non-classical logics.Dov Gabbay, Odinaldo Rodrigues & Alessandra Russo - 2008 - Review of Symbolic Logic 1 (3):267-304.
Chapter 9a what is logic?J. R. Lucas - manuscript
AGM Belief Revision in Monotone Modal Logics.Gregory Wheeler - 2010 - LPAR 2010 Short Paper Proceedings.
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.Igor Oliveira & Walter Carnielli - 2008 - Logic Journal of the IGPL 16 (6):585-590.
The dynamics of relevance: adaptive belief revision.Peter Verdée & Frederik Van De Putte - 2012 - Synthese 187 (S1):1-42.
Plausibility Revision in Higher-Order Logic With an Application in Two-Dimensional Semantics.Erich Rast - 2010 - In Arrazola Xabier & Maria Ponte (eds.), LogKCA-10 - Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge. ILCLI.
Belief Revision, Conditional Logic and Nonmonotonic Reasoning.Wayne Wobcke - 1995 - Notre Dame Journal of Formal Logic 36 (1):55-103.
On the Degeneracy of the Full AGM-Theory of Theory-Revision.Neil Tennant - 2006 - Journal of Symbolic Logic 71 (2):661 - 676.
Selective revision.Eduardo L. Fermé & Sven Ove Hansson - 1999 - Studia Logica 63 (3):331-342.
First- and second-order logic of mass terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.
Abductive Equivalence in First-order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.
Cofinally Invariant Sequences and Revision.Edoardo Rivello - 2015 - Studia Logica 103 (3):599-622.
Towards a theory of intention revision.Wiebe van der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.

Analytics

Added to PP
2014-01-16

Downloads
25 (#598,332)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
The mathematics of non-monotonic reasoning.Martin Davis - 1980 - Artificial Intelligence 13 (1-2):73-80.

Add more references