scientific article; zbMATH DE number 7723711
From MaRDI portal
Publication:6167899
zbMATH Open1516.03010MaRDI QIDQ6167899FDOQ6167899
Authors: Shanxia Wang 
Publication date: 7 August 2023
Full work available at URL: http://yokohamapublishers.jp/online2/opjnca/vol24/p1253.html
Title of this publication is not available (Why is that?)
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
representation theoremcompletenessalgebraic semanticsnon-normal temporal logicsregular temporal algebras
Cited In (5)
- Towards Algebraic Semantics of Circus Time
- Non-associative Kleene Algebra and Temporal Logics
- An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics
- Alternative semantics for temporal logics
- Modal and temporal extensions of non-distributive propositional 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)
