scientific article; zbMATH DE number 3299715

MaRDI QIDQ5581604zbMATH OpenFDO

Authors Rohit Parikh

Publication date 1969

zbMATH Keywords

algebraic logic, model theory

Cited in

(3)

• A near-optimal method for reasoning about action
• Process logic: Expressiveness, decidability, completeness
• Propositional dynamic logic of regular programs

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 Q5581604)