Domain Formula Circumscription

Journal of Logic Language and Information (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu.Michał Tyburski - 2009 - Filozofia Nauki 17 (1).
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
Formal Approaches to Kant's Formula of Humanity.Andrews Reath - unknown
Possible Worlds: Structure and Stuff.Manuel Pérez Otero - 2010 - Philosophical Papers 39 (2):209-237.
On the axiomatization of finitek-frames.Fabio Bellissima & Massimo Mirolli - 1983 - Studia Logica 42 (4):383 - 388.
Identity and indiscernibility.Jeffrey Ketland - 2011 - Review of Symbolic Logic 4 (2):171-185.
On the [mathematical formula]-cub game on [mathematical formula] and [mathematical formula].Taneli Huuskonen, Tapani Hyttinen & Mika Rautila - 1999 - Archive for Mathematical Logic 38 (8):549-557.
Kant's Universal Law Formula Revisited.Sven Nyholm - 2015 - Metaphilosophy 46 (2):280-299.
Honesty in partial logic.Wiebe Hoek, Jan Jaspars & Elias Thijsse - 1996 - Studia Logica 56 (3):323-360.
Formal Dialectic in Fallacy Inquiry: An Unintelligible Circumscription of Argumentative Rationality? [REVIEW]Louise Cummings - 2003 - Argumentation 17 (2):161-183.
Uniqueness of normal proofs of minimal formulas.Makoto Tatsuta - 1993 - Journal of Symbolic Logic 58 (3):789-799.
Domains of Discourse.Philip Hugly & Charles Sayward - 1987 - Logique Et Analyse 117 (17):173-176.

Analytics

Added to PP
2014-03-30

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Tom Costello
University of Central Lancashire

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references