scientific article; zbMATH DE number 4197949

zbMATH Open0726.03005MaRDI QIDQ5202984FDOQ5202984

Authors: Aida Pliuškevičienė 

Publication date: 1989

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

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

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)

Cited In (1)

• Title not available (Why is that?)

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)