Computation with run time skolemisation (N-Prolog part 3)

&
Journal of Applied Non-Classical Logics 3 (1):93-128 (1993)
  Copy   BIBTEX

Abstract

No abstract

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1993.10510797

Other Versions

No versions found

Links

PhilArchive



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

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

N-prolog and equivalence of logic programs.Nicola Olivetti & Lea Terracini - 1992 - Journal of Logic, Language and Information 1 (4):253-340.
G. Metcalfe, N. Olivetti and D. Gabbay. Proof theory for fuzzy logics. Applied Logic Series, vol. 36. Springer, 2009, viii + 276 pp. [REVIEW]Bartosz Wiȩckowski - 2010 - Bulletin of Symbolic Logic 16 (3):415-419.
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time.Alfredo Burrieza & Inma P. De Guzmán - 1992 - Journal of Applied Non-Classical Logics 2 (2):181-200.
Predicate Logic (with Anaphora).I. I. I. Sem - unknown
Embedding Logics in the Local Computation Framework.Nic Wilson & Jérôme Mengin - 2001 - Journal of Applied Non-Classical Logics 11 (3):239-267.
A separation theorem for discrete-time interval temporal logic.Dimitar P. Guelev & Ben Moszkowski - 2022 - Journal of Applied Non-Classical Logics 32 (1):28-54.
Many-dimensional arrow logics.Dimiter Vakarelov - 1996 - Journal of Applied Non-Classical Logics 6 (4):303-345.
D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam, xiv + 747 pp. [REVIEW]Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-79.
An efficient relational deductive system for propositional non-classical logics.Andrea Formisano & Marianna Nicolosi-Asmundo - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):367-408.
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.

Analytics

Added to PP
2013-12-01

Downloads
31 (#704,576)

6 months
5 (#1,002,523)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dov Gabbay
Hebrew University of Jerusalem
Uwe Reyle
Universität Stuttgart

Citations of this work

Add more citations

References found in this work

No references found.

Add more references