Temporal logic of surjective bounded morphisms between finite linear processes

David Gabelaia; Evgeny Kuznetsov; Radu-Casian Mihailescu; Konstantine Razmadze; Levan Uridia

doi:10.1080/11663081.2023.2269432

Temporal logic of surjective bounded morphisms between finite linear processes

David Gabelaia, Evgeny Kuznetsov, Radu-Casian Mihailescu, Konstantine Razmadze, Levan Uridia^*

^*Corresponding author for this work

School of Mathematical & Computer Sciences

Research output: Contribution to journal › Article › peer-review

Abstract

In this paper, we study temporal logic for finite linear structures and surjective bounded morphisms between them. We give a characterisation of such structures by modal formulas and show that every pair of linear structures with a bounded morphism between them can be uniquely characterised by a temporal formula up to an isomorphism. As the main result, we prove Kripke completeness of the logic with respect to the class of finite linear structures with bounded morphisms between them.

Original language	English
Journal	Journal of Applied Non-Classical Logics
Volume	34
Issue number	1
DOIs	https://doi.org/10.1080/11663081.2023.2269432
Publication status	Published - 2024

Keywords

Kripke completeness
modal definability
Temporal logic

ASJC Scopus subject areas

Philosophy
Logic

Access to Document

10.1080/11663081.2023.2269432

Cite this

@article{7c6a425a258d4cd99df9c72c04098b11,

title = "Temporal logic of surjective bounded morphisms between finite linear processes",

abstract = "In this paper, we study temporal logic for finite linear structures and surjective bounded morphisms between them. We give a characterisation of such structures by modal formulas and show that every pair of linear structures with a bounded morphism between them can be uniquely characterised by a temporal formula up to an isomorphism. As the main result, we prove Kripke completeness of the logic with respect to the class of finite linear structures with bounded morphisms between them.",

keywords = "Kripke completeness, modal definability, Temporal logic",

author = "David Gabelaia and Evgeny Kuznetsov and Radu-Casian Mihailescu and Konstantine Razmadze and Levan Uridia",

note = "Publisher Copyright: {\textcopyright} 2023 Informa UK Limited, trading as Taylor & Francis Group.",

year = "2024",

doi = "10.1080/11663081.2023.2269432",

language = "English",

volume = "34",

journal = "Journal of Applied Non-Classical Logics",

issn = "1166-3081",

publisher = "Taylor & Francis",

number = "1",

}

TY - JOUR

T1 - Temporal logic of surjective bounded morphisms between finite linear processes

AU - Gabelaia, David

AU - Kuznetsov, Evgeny

AU - Mihailescu, Radu-Casian

AU - Razmadze, Konstantine

AU - Uridia, Levan

PY - 2024

Y1 - 2024

N2 - In this paper, we study temporal logic for finite linear structures and surjective bounded morphisms between them. We give a characterisation of such structures by modal formulas and show that every pair of linear structures with a bounded morphism between them can be uniquely characterised by a temporal formula up to an isomorphism. As the main result, we prove Kripke completeness of the logic with respect to the class of finite linear structures with bounded morphisms between them.

AB - In this paper, we study temporal logic for finite linear structures and surjective bounded morphisms between them. We give a characterisation of such structures by modal formulas and show that every pair of linear structures with a bounded morphism between them can be uniquely characterised by a temporal formula up to an isomorphism. As the main result, we prove Kripke completeness of the logic with respect to the class of finite linear structures with bounded morphisms between them.

KW - Kripke completeness

KW - modal definability

KW - Temporal logic

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

U2 - 10.1080/11663081.2023.2269432

DO - 10.1080/11663081.2023.2269432

M3 - Article

AN - SCOPUS:85174929514

SN - 1166-3081

VL - 34

JO - Journal of Applied Non-Classical Logics

JF - Journal of Applied Non-Classical Logics

IS - 1

ER -

Temporal logic of surjective bounded morphisms between finite linear processes

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this