Simplified forms of computerized reasoning with distance semantics

Journal of Applied Logic 9 (1):1-22 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,824

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.
Simplified semantics for relevant logics (and some of their rivals).Greg Restall - 1993 - Journal of Philosophical Logic 22 (5):481 - 511.
On permutation in simplified semantics.Greg Restall & Tony Roy - 2009 - Journal of Philosophical Logic 38 (3):333 - 341.
A simplified semantics for modal logic.L. F. Goble - 1973 - Notre Dame Journal of Formal Logic 14 (2):151-174.
Simplified semantics for basic relevant logics.Graham Priest & Richard Sylvan - 1992 - Journal of Philosophical Logic 21 (2):217 - 232.
Theory-distance and verisimilitude.Raimo Tuomela - 1978 - Synthese 38 (2):213 - 246.

Analytics

Added to PP
2016-06-30

Downloads
29 (#869,874)

6 months
8 (#538,554)

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

Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
Multiset theory.Wayne D. Blizard - 1988 - Notre Dame Journal of Formal Logic 30 (1):36-66.
Distance semantics for belief revision.Daniel Lehmann, Menachem Magidor & Karl Schlechta - 2001 - Journal of Symbolic Logic 66 (1):295-317.
DA2 merging operators.S. Konieczny, J. Lang & P. Marquis - 2004 - Artificial Intelligence 157 (1-2):49-79.

View all 10 references / Add more references