scientific article; zbMATH DE number 4197949

MaRDI QIDQ5202984zbMATH OpenFDO

Authors Aida Pliuškevičienė

Publication date 1989

zbMATH Keywords

invertible calculi for propositional dynamic logicstotally star-free propositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 3912349
• scientific article; zbMATH DE number 7713505
• On inverse operators in dynamic epistemic logic
• Tableaux and algorithms for Propositional Dynamic Logic with Converse
• A contraction-free and cut-free sequent calculus for propositional dynamic logic
• scientific article; zbMATH DE number 3968565
• Propositional dynamic logic with quantification over regular computation sequences
• A propositional calculus for inconsistent deductive systems
• scientific article; zbMATH DE number 5230436

Cited in

(1)

• scientific article; zbMATH DE number 3900149 (Why is no real title available?)

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 Q5202984)