Temporal logic of linearly ordered \(\alpha\)-spaces

DOI10.1007/s10469-008-9032-yzbMath1241.03016OpenAlexW2013938425MaRDI QIDQ431661

V. F. Murzina

Publication date: 29 June 2012

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-008-9032-y

zbMATH Keywords

temporal logiclinearly ordered \(\alpha\)-space

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Frames, locales (06D22) Temporal logic (03B44)

Cites Work

• A Modal Logic That is Complete with Respect to Strictly Linearly Ordered A-Models
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal logic of linearly ordered \(\alpha\)-spaces