Tense logics based on posets

J 2025

Tense logics based on posets

CHAJDA, Ivan; Helmut LAENGER; Antonio LEDDA; Jan PASEKA; Gandolfo VERGOTTINI et al.

Základní údaje

Originální název

Tense logics based on posets

Autoři

CHAJDA, Ivan; Helmut LAENGER; Antonio LEDDA; Jan PASEKA a Gandolfo VERGOTTINI

Vydání

Journal of Logic and Computation, Oxford, Oxford University Press, 2025, 0955-792X

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10100 1.1 Mathematics

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Impakt faktor

Impact factor: 0.700 v roce 2024

Označené pro přenos do RIV

Ano

Organizační jednotka

Přírodovědecká fakulta

Klíčová slova anglicky

poset; orthomodular poset; Dedekind-MacNeille completion; implication; adjoint operator; adjoint pair; tense operator; tense logic

Štítky

14311010, rivok

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 20. 5. 2025 16:01, Mgr. Marie Novosadová Šípková, DiS.

Anotace

V originále

Quantum mechanics, initially formalized with orthomodular lattices, benefits from a simpler approach using just partially ordered sets (posets). This paper explores how logical connectives are introduced in poset-based logics. Building on prior work by the authors, we delve deeper into 'dynamic' logics where truth values can change over time. We consider time sets with a preference relation and propositions whose truth depends on time. Tense operators, introduced by J.Burgess and extended for various logics, become a valuable tool. This paper proposes several approaches to this topic, aiming to inspire a further stream of research.

Návaznosti

GF20-09869L, projekt VaV

Název: Ortomodularita z různých pohledů

Investor: Grantová agentura ČR, Ortomodularita z různých pohledů, Partnerská agentura (Rakousko)

Citovat

CHAJDA, Ivan; Helmut LAENGER; Antonio LEDDA; Jan PASEKA a Gandolfo VERGOTTINI. Tense logics based on posets. Journal of Logic and Computation. Oxford: Oxford University Press, 2025, roč. 35, č. 4, s. 1-31. ISSN 0955-792X. Dostupné z: https://doi.org/10.1093/logcom/exae081.

@article{2485019,
   author = {Chajda, Ivan and Laenger, Helmut and Ledda, Antonio and Paseka, Jan and Vergottini, Gandolfo},
   article_location = {Oxford},
   article_number = {4},
   doi = {https://doi.org/10.1093/logcom/exae081},
   keywords = {poset; orthomodular poset; Dedekind-MacNeille completion; implication; adjoint operator; adjoint pair; tense operator; tense logic},
   language = {eng},
   issn = {0955-792X},
   journal = {Journal of Logic and Computation},
   title = {Tense logics based on posets},
   url = {https://doi.org/10.1093/logcom/exae081},
   volume = {35},
   year = {2025}
}

TY  - JOUR
ID  - 2485019
AU  - Chajda, Ivan - Laenger, Helmut - Ledda, Antonio - Paseka, Jan - Vergottini, Gandolfo
PY  - 2025
TI  - Tense logics based on posets
JF  - Journal of Logic and Computation
VL  - 35
IS  - 4
SP  - 1-31
EP  - 1-31
PB  - Oxford University Press
SN  - 0955792X
KW  - poset
KW  - orthomodular poset
KW  - Dedekind-MacNeille completion
KW  - implication
KW  - adjoint operator
KW  - adjoint pair
KW  - tense operator
KW  - tense logic
UR  - https://doi.org/10.1093/logcom/exae081
N2  - Quantum mechanics, initially formalized with orthomodular lattices, benefits from a simpler approach using just partially ordered sets (posets). This paper explores how logical connectives are introduced in poset-based logics. Building on prior work by the authors, we delve deeper into 'dynamic' logics where truth values can change over time. We consider time sets with a preference relation and propositions whose truth depends on time. Tense operators, introduced by J.Burgess and extended for various logics, become a valuable tool. This paper proposes several approaches to this topic, aiming to inspire a further stream of research.
ER  -

CHAJDA, Ivan; Helmut LAENGER; Antonio LEDDA; Jan PASEKA a Gandolfo VERGOTTINI. Tense logics based on posets. \textit{Journal of Logic and Computation}. Oxford: Oxford University Press, 2025, roč.~35, č.~4, s.~1-31. ISSN~0955-792X. Dostupné z: https://doi.org/10.1093/logcom/exae081.

Přehled o publikaci