Katsumi Sasaki  Home/Search
Context
Related
| illc.uva.nl/Public...200107.text.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: illc.uva.nl/Publ...reportlist.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Samenvatting 131 vi Acknowledgments I would like to thank Prof. Anne Troelstra most sincerely for number of reasons. He game me this opportunity and kindly read the whole of manuscripts of the thesis. The manuscripts had some unclear parts and were hard to understand. His comments made me reprove and rearrange theorems, and the final version is certainly more readable and has more elegant proofs. I owe the same gratitude to Prof. Dick de Jongh. I first asked him the possibility of PhD program... (Update)
Active bibliography (related documents): More All
3.0: Speaking About Transitive Frames in Propositional Languages - Suzuki, Wolter.. (1998) (Correct)
1.7: The Interpretability Logic of all Reasonable Arithmetical.. - Joosten, Visser (1999) (Correct)
1.4: An overview of Interpretability Logic - Visser (1997) (Correct)
Similar documents based on text: More All
2.0: Logical for Social Software - Pauly (2001) (Correct)
1.7: Decision-Theoretic Robotic Surveillance - Massios (2002) (Correct)
1.7: Computations in Propositional Logic - Hendriks (1996) (Correct)
BibTeX entry: (Update)
@misc{ sasaki-logics,
author = "Katsumi Sasaki",
title = "Logics and Provability",
url = "citeseer.ist.psu.edu/sasaki01logics.html" }
Citations (may not include all citations):343 Introduction to metamathematics (context) - Kleene - 1952
343 Modal Logic: An Introduction (context) - Chellas - 1980
291 Computational lambda-calculus and monads - Moggi - 1989
268 Proofs and Types (context) - Girard - 1989
259 Combinatory Logic (context) - Curry, Feys - 1958
233 The formulae-as-types notion of construction (context) - Howard - 1980
123 A Companion to Modal Logic (context) - Hughes, Cresswell - 1984
121 Intensional interpretations of functional of finite type (context) - Tait
116 Ideas and results in proof-theory (context) - Prawitz - 1971
104 Metamathematical investigations of intuitionistic arithmetic.. (context) - Troelstra - 1973
51 Computational types from a logical perspective - Benton, Bierman et al. - 1998
38 Cambridge University Press (context) - Boolos, of - 1993
36 Time and Modality (context) - Prior - 1957
30 Provability interpretations of modal logic (context) - Solovay - 1976
29 Oxford University Press (context) - Chagrov, Zakharyaschev et al.
23 Self-reference and Modal logic (context) - Smorynski - 1985
22 Some theorems about the sentential calculi of Lewis and Heyt.. (context) - McKinsey, Tarski - 1948
18 North-Holland (context) - Heyting, introduction - 1956
16 The Logic of Provability - Japaridze, de Jongh - 1998
16 Zur Deutung der intuitionistischen Logik (context) - Kolmogorov - 1932
15 Eine Interpretation des intuitionistischen Aussagenkalkuls (context) - Godel - 1933
14 On modal logics with an intuitionistic base (context) - Servi - 1977
13 An intuitionistic modal logic with applications to the forma.. (context) - Fairtlough, Mendler
13 Intuitionistic modal logics as fragments of classical bimoda.. - Wolter, Zakharyaschev - 1998
12 On modal systems having arithmetical interpretations (context) - Avron - 1984
11 An introduction to modal logic (context) - Lemmon, Scott - 1977
10 An overview of interpretability logic - Visser
9 Grothendieck topology as geometric modality (context) - Goldblatt - 1993
8 Relations between intuitionistic modal logics and intermedia.. (context) - Ono, Suzuki - 1987
8 Interpretability logic (context) - Visser - 1990
8 The interpretability logic of Peano arithmetic (context) - Berarducci - 1990
7 Modal logics between S4 and S (context) - Dummett, Lemmon
6 The calculus of compatibility of propositions (context) - Orlov - 1928
6 Models for normal intuitionistic logics (context) - Bozic, Dosen - 1984
6 Intuitionistic modal logic with quantifiers (context) - Fitch
5 The modal logic of provability: cut-elimination (context) - Valentini - 1983
5 Computations in propositional logic - Hendriks - 1996
5 The logic of relative interpretability over Peano arithmetic (context) - Yu - 1988
4 Archiv for fur Mathematische Logik und Grundlagenforschung (context) - Hajek, Montagna et al. - 1990
4 Sequent systems for subintuitionistic logics (context) - Wansing, temporalizing - 1997
4 Archiv for fur Mathematische Logik und Grundlagenforschung (context) - Hajek, Montagna et al. - 1992
4 Provability logics for relative interpretability (context) - de Jongh, Veltman
4 An algebraic approach to intuitionistic modal logics in conn.. (context) - Suzuki - 1989
3 Selective filtration in modal logic (context) - Gabbay - 1970
2 Implicational formulas in intuitionistic logic (context) - Urquhart
2 A propositional logic with explicit fixed points (context) - Visser - 1981
2 Unary interpretability logic (context) - de Rijke - 1992
2 Modal logic and self reference (context) - Smorynski
2 Basic Logic and Fregean set theory (context) - Ruitenburg - 1993
2 Modal companions of superintuitionistic logics: syntax (context) - Zakharyaschev
2 Statistics and Computer Science (context) - Ardeshir, Basic et al. - 1995
2 Weak logics with strict implication (context) - Corsi - 1987
2 Provability: the emergence of a mathematical modality (context) - Boolos, Sambin - 1991
2 Sur les algebres de Hilbert (context) - Diego - 1966
2 Modal translations in K and D (context) - Dosen - 1993
2 Explicit fixed points in interpretability logic (context) - de Jongh, Visser - 1991
2 A formalization for the consequence relation of Visser's pro.. (context) - Sasaki
2 Formalizations for the consequence relation of Visser's prop.. (context) - Sasaki - 1999
1 Basic Predicate Calculus (context) - Ruitenburg
1 Constructive logic and paradoxes (context) - Ruitenburg - 1991
1 Mathematical logic (context) - Petkov
1 Speaking about transitive frames in propositional languages - Suzuki, Wolter et al. - 1998
1 Hilbert style proof system for BPL (context) - Suzuki, Ono - 1997
1 Basis modal logic (context) - Bull, Segerberg
1 Disjunction free formulas in propositional lax logic (context) - Sasaki - 2001
1 Lindenbaum Algebra for intuitionistic propositional logic (context) - Sasaki - 1997
1 A cut-free system for the smallest interpretability logic (context) - Sasaki
1 Lob's axiom and cut-elimination theorem (context) - Sasaki - 2001
1 A cut-free system for the interpretability logic with the pe.. (context) - Sasaki
1 Mathematical Logic Quarterly (context) - Ardeshir, Ruitenburg et al. - 1999
1 Beth's theorem and self-referential statements (context) - Smorynski - 1978
1 A property of formal propositional logic (context) - Sasaki - 1997
1 A Gentzen style system for Visser's propositional logic (context) - Sasaki - 1998
1 Exact finite models for minimal propositional calculus over .. (context) - de Bruijn - 1975
1 al provability interpretation, Workshop "Provability and Int.. (context) - Sasaki, of et al. - 1998
1 Disjunction free formulas in an intuitionistic modal logic (context) - Sasaki
1 ective fixed-point theorem in intuitionistic diagonalizable .. (context) - Sambin - 1976
1 a property of Lob's axiom in propositional logics (context) - Sasaki - 2001
1 Cut-elimination theorem for Visser's propositional logic and.. (context) - Sasaki - 2001
1 A translation of intuitionistic predicate logic into basic p.. (context) - Ardeshir - 1999
1 and Persistence (context) - Ruitenburg, Logic - 1999
1 Untersuchungen uber das logisch Schliessen (context) - Gentzen - 1934
Documents on the same site (http://www.illc.uva.nl/Publications/reportlist.php): More
When are Two Games the Same? - van Benthem (1999) (Correct)
Studies on the Uses and Usefulness of Diagrams - Berger (2000) (Correct)
Logical for Social Software - Pauly (2001) (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