scientific article; zbMATH DE number 4197950

MaRDI QIDQ5202985zbMATH OpenFDO

Authors R. Pliuškevičius

Publication date 1989

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

• 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

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)