Tense logics based on posets

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

CHAJDA Ivan LAENGER Helmut LEDDA Antonio PASEKA Jan VERGOTTINI Gandolfo

Rok publikování 2025
Druh Článek v odborném periodiku
Časopis / Zdroj Journal of Logic and Computation
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www https://doi.org/10.1093/logcom/exae081
Doi http://dx.doi.org/10.1093/logcom/exae081
Klíčová slova poset; orthomodular poset; Dedekind-MacNeille completion; implication; adjoint operator; adjoint pair; tense operator; tense logic
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info