C. Smory nski, Self-reference and modal logic, Springer-Verlag, Berlin, 1985. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Interpolation, Definability and Fixed Points in.. - Areces, Hoogland, de.. (Correct)
A Program to Compute Gödel-Löb Fixpoints - Fitting (1995) (Correct)
A Proof System for Finite Trees - Blackburn, Meyer-Viol, de Rijke (1995) (4 citations) (Correct)
Speaking About Transitive Frames in Propositional Languages - Suzuki, Wolter.. (1998) (1 citation) (Correct)
Bi-Unary Interpretability Logic - de Rijke (1990) (1 citation) (Correct)
The Interpolation Theorem for IL and ILP - Areces, de Jongh, Hoogland (1998) (Correct)
Computations in Propositional Logic - Hendriks (1996) (3 citations) (Correct)
Rules and Arithmetics - Visser (1998) (4 citations) (Correct)
Finitely Generated Magari Algebras and Arithmetic - Hendriks, de Jongh (1994) (Correct)
An overview of Interpretability Logic - Visser (1997) (8 citations) (Correct)
Interpretability over Peano arithmetic - Strannegård (Correct)
Explicit Provability And Constructive Semantics - Artemov (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