Non-classical PDL on the cheap

MaRDI QIDQ5224894zbMATH OpenFDO

Authors Igor Sedlár

Publication date 24 July 2019

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)

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

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)