Non-classical PDL on the cheap

zbMATH Open1418.03143MaRDI QIDQ5224894FDOQ5224894

Authors: Igor Sedlár 

Publication date: 24 July 2019

Recommendations

• PDL with negation of atomic programs
• Automated Reasoning
• Propositional dynamic logic with Belnapian truth values
• From positive PDL to its non-classical extensions
• The epistemology of nondeterminism

zbMATH Keywords

propositional dynamic logicformal verificationDeMorgan negationepistemic planning

Mathematics Subject Classification ID

Many-valued logic (03B50) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Cited In (1)

• The epistemology of nondeterminism

This page was built for publication: Non-classical PDL on the cheap

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224894)