A family of temporal logics on finite trees

Z. Ésik, Szabolcs Iván

Research output: Contribution to journalArticle

Abstract

We associate a temporal logic XTL(L) with each class L of (regular) tree languages and provide both an algebraic and a game-theoretic characterization of the expressive power of the logic XTL(L).

Original languageEnglish
Pages (from-to)277-297
Number of pages21
JournalPublicationes Mathematicae
Volume77
Issue number3-4
Publication statusPublished - 2010

Fingerprint

Expressive Power
Temporal Logic
Game
Logic
Language
Class
Family

Keywords

  • Branching time future temporal logics
  • Ehrenfeucht-Fraïssé
  • Games
  • Strict Moore-product

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

A family of temporal logics on finite trees. / Ésik, Z.; Iván, Szabolcs.

In: Publicationes Mathematicae, Vol. 77, No. 3-4, 2010, p. 277-297.

Research output: Contribution to journalArticle

Ésik, Z & Iván, S 2010, 'A family of temporal logics on finite trees', Publicationes Mathematicae, vol. 77, no. 3-4, pp. 277-297.
Ésik, Z. ; Iván, Szabolcs. / A family of temporal logics on finite trees. In: Publicationes Mathematicae. 2010 ; Vol. 77, No. 3-4. pp. 277-297.
@article{559efa56a970474bad26bba9d29935e2,
title = "A family of temporal logics on finite trees",
abstract = "We associate a temporal logic XTL(L) with each class L of (regular) tree languages and provide both an algebraic and a game-theoretic characterization of the expressive power of the logic XTL(L).",
keywords = "Branching time future temporal logics, Ehrenfeucht-Fra{\"i}ss{\'e}, Games, Strict Moore-product",
author = "Z. {\'E}sik and Szabolcs Iv{\'a}n",
year = "2010",
language = "English",
volume = "77",
pages = "277--297",
journal = "Publicationes Mathematicae",
issn = "0033-3883",
publisher = "Kossuth Lajos Tudomanyegyetem",
number = "3-4",

}

TY - JOUR

T1 - A family of temporal logics on finite trees

AU - Ésik, Z.

AU - Iván, Szabolcs

PY - 2010

Y1 - 2010

N2 - We associate a temporal logic XTL(L) with each class L of (regular) tree languages and provide both an algebraic and a game-theoretic characterization of the expressive power of the logic XTL(L).

AB - We associate a temporal logic XTL(L) with each class L of (regular) tree languages and provide both an algebraic and a game-theoretic characterization of the expressive power of the logic XTL(L).

KW - Branching time future temporal logics

KW - Ehrenfeucht-Fraïssé

KW - Games

KW - Strict Moore-product

UR - http://www.scopus.com/inward/record.url?scp=78249251455&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78249251455&partnerID=8YFLogxK

M3 - Article

VL - 77

SP - 277

EP - 297

JO - Publicationes Mathematicae

JF - Publicationes Mathematicae

SN - 0033-3883

IS - 3-4

ER -