On systems of modal logic with provability interpretations

Theoria 46 (1):7-18 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1980.tb00686.x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
The knower paradox in the light of provability interpretations of modal logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.
How to extend the dialogical approach to provability logic.Ulrich Nortmann - 2001 - Synthese 127 (1-2):95 - 103.
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.
Provability, truth, and modal logic.George Boolos - 1980 - Journal of Philosophical Logic 9 (1):1 - 7.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Proof-theoretic modal PA-Completeness II: The syntactic countermodel.Paolo Gentilini - 1999 - Studia Logica 63 (2):245-268.
Two no-go theorems for modal interpretations of quantum mechanics.E. P. - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (3):403-431.
First-order indefinite and uniform neighbourhood semantics.Arnold Nat - 1979 - Studia Logica 38 (3):277 - 296.
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
Logical foundations for modal interpretations of quantum mechanics.Michael Dickson - 1996 - Philosophy of Science 63 (3):329.

Analytics

Added to PP
2010-09-13

Downloads
58 (#278,062)

6 months
3 (#984,770)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modal tableau calculi and interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.

View all 14 citations / Add more citations

References found in this work

An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.

View all 7 references / Add more references