On the computational complexity of decidable fragments of first-order linear temporal logics

2004 ◽  
Author(s):  
I. Hodkinson ◽  
R. Kontchakov ◽  
A. Kurucz ◽  
F. Wolter ◽  
M. Zakharyaschev
Keyword(s):  
Computational Complexity ◽  
Temporal Logics ◽  
Order Linear ◽  
First Order

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