Belief, provability, and logic programs

&
Journal of Applied Non-Classical Logics 5 (1):31-50 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1995.10510842

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

Luis moniz Pereira.Philosophical Incidence Of Logic - 2002 - In Dov M. Gabbay (ed.), Handbook of the logic of argument and inference: the turn towards the practical. New York: Elsevier.
Programming Machine Ethics by Luís Moniz Pereira and Ari Saptawijaya.Robert Kowalski - 2017 - AI and Society 32 (2):299-300.
Logics in Artificial Intelligence (JELIA 2004).Jose Alferes & Joao Leite (eds.) - 2004 - Springer.
Luís Moniz Pereira & Ari Saptawijaya, Programming Machine Ethics: Studies in Applied Philosophy, Epistemology and Rational Ethics, Switzerland: Springer, 2016, €99.99, ISBN 978-3-319-29353-0.Sean Welsh - 2017 - Minds and Machines 27 (1):253-257.
A translation from the modal logic of provability into K4.Philippe Balbiani & Andreas Herzig - 1994 - Journal of Applied Non-Classical Logics 4 (1):73-77.
Ojeda-aciego Manuel 1, Brewka Gerhard 2, de Guzman inma P. 1, Pereira Luis moniz 3.Logica Studia - 2002 - Studia Logica 72 (1):3-5.
A course on bimodal provability logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
The decision problem of provability logic with only one atom.Vítězslav Švejdar - 2003 - Archive for Mathematical Logic 42 (8):763-768.
Review of J.L Alferes and L.M. Pereira Reasoning with Logic Programming. [REVIEW]K. Tanaka - 2001 - Studia Logica 67:118-120.

Analytics

Added to PP
2014-01-21

Downloads
34 (#655,824)

6 months
11 (#322,218)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.

Add more references