Rasiowa, H. and Sikorski, R., The Mathematics of Metamathematics, Polish Scientific Publishers, Warsaw (1963). Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Dynamic Logic - Harel, Kozen, Tiuryn (1984) (356 citations) (Correct)
Explicit Provability and Constructive Semantics - Artemov (2000) (1 citation) (Correct)
Explicit Provability: The Intended Semantics for Intuitionistic.. - Artemov (1998) (Correct)
Knowledge Representation as Domains - Alexei Yu Muravitsky (1994) (Correct)
Nondeterministic Algebraic Specifications in Relational.. - Valentinas Kriauciukas.. (1995) (Correct)
On the Relation Between Intuitionistic and Classical Modal.. - Wolter, Zakharyaschev (1996) (7 citations) (Correct)
Intuitionistic Modal Logics as Fragments of Classical.. - Wolter, Zakharyaschev (8 citations) (Correct)
Speaking About Transitive Frames in Propositional Languages - Suzuki, Wolter.. (1998) (1 citation) (Correct)
Intuitionistic Modal Logic - Wolter, Zakharyaschev (1999) (7 citations) (Correct)
Prolog Extensions to Many-Valued Logics - Klawonn (1992) (1 citation) (Correct)
A Gentzen calculus system for a contextual consequence relation .. - Konikowska (Correct)
New Programs From Old - Ramalingam And Thomas (Correct)
Explicit Provability And Constructive Semantics - Artemov (2001) (1 citation) (Correct)
Modal Definability in Topology - Gabelaia (2001) (1 citation) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC