Data storage interpretation of labeled modal logic

, , , , , , , , &
Annals of Pure and Applied Logic 78 (1-3):57-71 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(95)00062-3

Links

PhilArchive



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

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

Linear logic for nets with bounded resources.Dmitry A. Archangelsky, Mikhail I. Dekhtyar & Mikhail A. Taitslin - 1996 - Annals of Pure and Applied Logic 78 (1-3):3-28.
Linear logic with fixed resources.Dmitry A. Archangelsky & Mikhail A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):3-28.
Master Index to Volumes 71-80.K. A. Abrahamson, R. G. Downey, M. R. Fellows, A. W. Apter, M. Magidor, M. I. da ArchangelskyDekhtyar, M. A. Taitslin, M. A. Arslanov & S. Lempp - 1996 - Annals of Pure and Applied Logic 80:293-298.
RASP and ASP as a fragment of linear logic.Stefania Costantini & Andrea Formisano - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):49-74.
Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi Della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
Normalizable linear orders and generic computations in finite models.Alexei P. Stolboushkin & Michael A. Taitslin - 1999 - Archive for Mathematical Logic 38 (4-5):257-271.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Belegradek, OV, Stolhoushkin, AP and Taitslin, MA.M. Benedikt, N. Danner, G. Gottlob, N. Leone, H. Veith, G. Jaiger, T. Strahm, F. Kamareddine, R. Bloo & R. Nederpelt - 1999 - Annals of Pure and Applied Logic 97 (26):1.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
Logic at Tver '92.Anil Nerode & M. Taitslin - 1993 - Journal of Symbolic Logic 58 (3):1150-1150.
Lambda calculus and intuitionistic linear logic.Simona Ronchi della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
Local computation in linear logic.Ugo Solitro & Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):201-212.

Analytics

Added to PP
2014-03-25

Downloads
10 (#1,196,476)

6 months
7 (#435,412)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Sergei Artemov
CUNY Graduate Center
Rohit Parikh
CUNY Graduate Center
Marat Arslanov

Citations of this work

The single-conclusion proof logic and inference rules specification.Vladimir N. Krupski - 2001 - Annals of Pure and Applied Logic 113 (1-3):181-206.
A Grim Semantics For Logics of Belief.Christopher Steinsvold - 2008 - Journal of Philosophical Logic 37 (1):45-56.

Add more citations

References found in this work

Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.

Add more references