scientific article; zbMATH DE number 7723711

MaRDI QIDQ6167899zbMATH OpenFDO

Authors Shanxia Wang

Publication date 7 August 2023

Full work available at URL http://yokohamapublishers.jp/online2/opjnca/vol24/p1253.html

zbMATH Keywords

representation theoremcompletenessalgebraic semanticsnon-normal temporal logicsregular temporal algebras

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• An algebraic approach to temporal logic
• Non-associative Kleene Algebra and Temporal Logics
• Alternative semantics for temporal logics
• scientific article; zbMATH DE number 22186
• Algebraization of Non-structural Logics
• An algebraic study of tense logics with linear time
• A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
• scientific article; zbMATH DE number 4158604
• A non-reified temporal logic
• Algebraic semantics for modal and superintuitionistic non-monotonic logics

Cited in

(5)

• An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics
• Towards Algebraic Semantics of Circus Time
• Non-associative Kleene Algebra and Temporal Logics
• Modal and temporal extensions of non-distributive propositional logics
• Alternative semantics for temporal logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6167899)