Gentzen-type axiomatization for PAL
From MaRDI portal
Publication:688720
DOI10.1016/0304-3975(93)90363-XzbMath0783.68084MaRDI QIDQ688720
Publication date: 12 December 1993
Published in: Theoretical Computer Science (Search for Journal in Brave)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item