Intuitionistic Metric Temporal Logic

Reference. Intuitionistic Metric Temporal Logic

Luiz De Sá, Bernardo Toninho, Frank Pfenning · PPDP · 2023 · DOI

Cite

Cite as @desa-2023-intuitionistic (helia, typst) · \cite{desa-2023-intuitionistic} (LaTeX)

BibTeX

bibtex · 1 line

@inproceedings{desa-2023-intuitionistic, series={PPDP 2023}, title={Intuitionistic Metric Temporal Logic}, url={http://dx.doi.org/10.1145/3610612.3610621}, DOI={10.1145/3610612.3610621}, booktitle={International Symposium on Principles and Practice of Declarative Programming}, publisher={ACM}, author={De Sá, Luiz and Toninho, Bernardo and Pfenning, Frank}, year={2023}, month=Oct, pages={1–13}, collection={PPDP 2023} }

hayagriva YAML (typst)

yaml · 19 lines

desa-2023-intuitionistic:
  type: article
  title: Intuitionistic Metric Temporal Logic
  author:
  - De Sá, Luiz
  - Toninho, Bernardo
  - Pfenning, Frank
  date: 2023-10
  page-range: 1-13
  url: http://dx.doi.org/10.1145/3610612.3610621
  serial-number:
    doi: 10.1145/3610612.3610621
  parent:
    type: proceedings
    title: International Symposium on Principles and Practice of Declarative Programming
    publisher: ACM
    parent:
      type: proceedings
      title: PPDP 2023

Download: desa-2023-intuitionistic.bib · desa-2023-intuitionistic.yml

Cites 32 works (2 here)

With notes (2)

Session Types as Intuitionistic Linear Propositions caires-2010-sessionCONCUR · 2010

DOI

Linear logic girard_linear_1987TCS · 1987

The familiar connective of negation is broken into two operations: linear negation which is the purely negative part of negation and the modality “of course” which has the meaning of a reaffirmation. Following this basic discovery, a completely new approach to the whole area between constructive logics and programmation is initiated.

DOI

External (30)

Rast: A Language for Resource-Aware Session Types (2022)
Exploring the Jungle of Intuitionistic Temporal Logics (2021)
A two-dimensional metric temporal logic (2020)
Intuitionistic Linear Temporal Logics (2019)
Parallel complexity analysis with temporal session types (2018)
A Decidable Intuitionistic Temporal Logic (2017)
A Temporal Logic Approach to Binding-Time Analysis (2017)
Constructive linear-time temporal logic: Proof systems and Kripke semantics (2011)
STA Concepts (2009)
On Metric Temporal Łukasiewicz Logic (2009)
Vehicle Routing Problem with Metric Temporal Logic Specifications (2008)
On Metric Temporal Logic and Faulty Turing Machines (2006)
On the decidability of metric temporal logic (2005)
Temporal Logics for Real-Time System Specification (2000)
Programming in metric temporal logic (1998)
On the Meanings of the Logical Constants and the Justifications of the Logical Laws (1996)
A Temporal-Logic Approach to Binding-Time Analysis (LICS '96) (1996)
The temporal logic of actions (1994)
The Proof Theory and Semantics of Intuitionistic Modal Logic (Ph.D. dissertation) (1994)
The Logical Basis of Metaphysics (1991)
Mathematical Intuitionism. Introduction to Proof Theory (1990)
Specifying real-time properties with metric temporal logic (1990)
A Temporal Logic for Multilevel Reasoning about Hardware (1985)
Hardware Specification with Temporal Logic: An Example (1982)
The Formulae-as-Types Notion of Construction (1980)
Meaning and Proofs: On the Conflict Between Classical and Intuitionistic Logic (1977)
The temporal logic of programs (1977)
Natural Deduction: A Proof-Theoretical Study (1965)
Untersuchungen über das logische Schließen (1935)
Functionality in Combinatory Logic (1934)