scientific article; zbMATH DE number 4197950

zbMATH Open0726.03006MaRDI QIDQ5202985FDOQ5202985

Authors: R. Pliuškevičius 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1059330
• Branching time agents logics, satisfiability problem by rules in reduced form
• scientific article; zbMATH DE number 1301761
• Implicates and reduction techniques for temporal logics
• Branching-Time Temporal Logics with Minimal Model Quantifiers
• A Unified Translation of Linear Temporal Logic to ω-Automata
• On the Complexity of Branching-Time Logics
• scientific article; zbMATH DE number 5790393
• Decision procedures and expressiveness in the temporal logic of branching time
• Complexity of branching temporal description logics

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)

Cited In (1)

• Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5202985)