scientific article; zbMATH DE number 4197950

zbMATH Open0726.03006MaRDI QIDQ5202985

Regimantas Pliuškevičius

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenesscut-eliminationinfinitary temporal logicquantified temporal logicfirst order branching time temporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Implicates and reduction techniques for temporal logics 👍 👎
• Decision procedures and expressiveness in the temporal logic of branching time 👍 👎
• Branching time agents logics, satisfiability problem by rules in reduced form 👍 👎
• Branching-Time Temporal Logics with Minimal Model Quantifiers 👍 👎
• On the Complexity of Branching-Time Logics 👍 👎
• A Unified Translation of Linear Temporal Logic to ω-Automata 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: