Decision problems associated with complete deterministic normal systems

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (19):299-304 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19690151903

Links

PhilArchive



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

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

Decision problems associated with complete deterministic normal systems.Paul Axt & W. E. Singletary - 1969 - Mathematical Logic Quarterly 15 (19):299-304.
On deterministic normal systems.Paul Axt & W. E. Singletary - 1969 - Mathematical Logic Quarterly 15 (4‐5):49-62.
On deterministic normal systems.Paul Axt & W. E. Singletary - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (4-5):49-62.
Cut-free sequent and tableau systems for propositional diodorean modal logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.
Canonical Constructive Systems ⋆.Arnon Avron - unknown
Non-deterministic Semantics for Logics with a Consistency Operator.Arnon Avron - unknown
Multi-valued Calculi for Logics Based on Non-determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
Are deterministic descriptions and indeterministic descriptions observationally equivalent?Charlotte Werndl - 2009 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 40 (3):232-242.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
δ-Complete Decision Procedures for Satisfiability over the Reals.Sicun Gao, Jeremy Avigad & Edmund M. Clarke - unknown
Decision making, computer attitudes and expert systems: What is our direction? [REVIEW]Peter P. Mykytyn - 1989 - AI and Society 3 (2):133-141.
An ideal characterization of mahlo cardinals.Qi Feng - 1989 - Journal of Symbolic Logic 54 (2):467-473.
Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
Deterministisches chaos: Einige wissenschaftstheoretisch interessante aspekte. [REVIEW]Klaus Jürgen Düsberg - 1995 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 26 (1):11 - 24.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.

Analytics

Added to PP
2016-02-04

Downloads
28 (#565,512)

6 months
1 (#1,469,469)

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

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.

Add more references