Gentzen-type axiomatization for PAL

DOI10.1016/0304-3975(93)90363-XzbMath0783.68084MaRDI QIDQ688720

Igor Walukiewicz

Publication date: 12 December 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

sequent calculusdecidabilityaxiomatizationlogic of programspropositional algorithmic logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sequential method in propositional dynamic logic
• Propositional dynamic logic of regular programs
• Semantical analysis of constructive PDL
• Propositional dynamic logic of looping and converse is elementarily decidable
• On the Decidability of Propositional Algorithmic Logic

This page was built for publication: Gentzen-type axiomatization for PAL