Ty2 revisited - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Ty2 revisited

Philippe de Groote

Abstract

We provide a translation of Hybrid Logic into Gallin's Ty2.

Keywords

Fichier principal
Vignette du fichier
abstract.pdf (132.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03940832 , version 1 (16-01-2023)

Identifiers

  • HAL Id : hal-03940832 , version 1

Cite

Philippe de Groote. Ty2 revisited. HyLo 2022 — Workshop on Hybrid Logic and Applications, Apr 2022, Chania, Greece. ⟨hal-03940832⟩
9 View
5 Download

Share

Gmail Facebook Twitter LinkedIn More