scholarly journals Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting

2015 ◽  
Vol 16 (3) ◽  
pp. 1-36 ◽  
Author(s):  
Christopher Hampson ◽  
Agi Kurucz
Keyword(s):  
Temporal Logics ◽  
Order Linear ◽  
First Order ◽  
Bimodal Logics

scholarly journals Interpretability of first-order linear temporal logics in fork algebras

2006 ◽  
Vol 66 (2) ◽  
pp. 161-184 ◽  
Author(s):  
Marcelo F. Frias ◽  
Carlos G. López Pombo
Keyword(s):  
Temporal Logics ◽  
Order Linear ◽  
First Order

scholarly journals Characterization of Dissipative Structures for First-Order Symmetric Hyperbolic System with General Relaxation

Mathematics ◽  
2021 ◽  
Vol 9 (7) ◽  
pp. 728
Author(s):  
Yasunori Maekawa ◽  
Yoshihiro Ueda
Keyword(s):  
Hyperbolic System ◽  
Dissipative Structure ◽  
Dissipative Structures ◽  
Algebraic Characterization ◽  
Symmetric Hyperbolic System ◽  
Full Generality ◽  
Order Linear ◽  
First Order

In this paper, we study the dissipative structure of first-order linear symmetric hyperbolic system with general relaxation and provide the algebraic characterization for the uniform dissipativity up to order 1. Our result extends the classical Shizuta–Kawashima condition for the case of symmetric relaxation, with a full generality and optimality.

Sign in / Sign up

Export Citation Format

Share Document