On temporal logic S4Dbr

DOI10.1007/S10986-006-0020-4zbMath1130.03304OpenAlexW2084441573MaRDI QIDQ2471628

Yanyan Li

Publication date: 18 February 2008

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10986-006-0020-4

zbMATH Keywords

modal logicsequent calculustemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Uses Software

• SWI-Prolog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theoretical foundations of handling large substitution sets in temporal integrity monitoring
• Monitoring dynamic integrity constraints based on temporal logic
• Decidability of some classes of modal logic

This page was built for publication: On temporal logic S4Dbr