Phase semantics for linear-time formalism

Logic Journal of the IGPL 19 (1):121-143 (2011)
  Copy   BIBTEX

Abstract

It is known that linear-time temporal logic is a useful logic for verifying and specifying concurrent systems. In this paper, phase semantics for LTL and its substructural refinements is introduced, and the completeness and cut-elimination theorems for LTL and its refinements are proved based on this semantics

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzq023

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

Temporal non-commutative logic: Expressing time, resource, order and hierarchy.Norihiro Kamide - 2009 - Logic and Logical Philosophy 18 (2):97-126.
On phase semantics and denotational semantics: the exponentials.Antonio Bucciarelli & Thomas Ehrhard - 2001 - Annals of Pure and Applied Logic 109 (3):205-241.
A phase semantics for polarized linear logic and second order conservativity.Masahiro Hamano & Ryo Takemura - 2010 - Journal of Symbolic Logic 75 (1):77-102.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
On phase semantics and denotational semantics in multiplicative–additive linear logic.Antonio Bucciarelli & Thomas Ehrhard - 2000 - Annals of Pure and Applied Logic 102 (3):247-282.
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.
Phase semantics and Petri net interpretation for resource-sensitive strong negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.
Pretopology semantics for bimodal intuitionistic linear logic.C. Hartonas - 1997 - Logic Journal of the IGPL 5 (1):65-78.
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
Simplified Affine Phase Structures.Francesco Paoli - 1998 - Reports on Mathematical Logic:21-34.
Coherent phase spaces. Semiclassical semantics.Sergey Slavnov - 2005 - Annals of Pure and Applied Logic 131 (1-3):177-225.
Classical linear logics with mix separation principle.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (2):201-209.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
Linear, branching time and joint closure semantics for temporal logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.
Resource modalities in tensor logic.Paul-André Melliès & Nicolas Tabareau - 2010 - Annals of Pure and Applied Logic 161 (5):632-653.

Analytics

Added to PP
2015-02-04

Downloads
12 (#1,049,421)

6 months
1 (#1,520,257)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Temporal Gödel-Gentzen and Girard translations.Norihiro Kamide - 2013 - Mathematical Logic Quarterly 59 (1-2):66-83.

Add more citations

References found in this work

No references found.

Add more references