scientific article; zbMATH DE number 3735127

MaRDI QIDQ3922159zbMATH OpenFDO

Authors Rohit Parikh

Publication date 1981

zbMATH Keywords

axiomatisationcomplexitydecision methodsdynamic algebramodelspartial correctnessprocess logic

Mathematics Subject Classification ID

Bibliographies for mathematics in general (00A15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Cited in

(7)

• PDL with data constants
• TABLEAUX: A general theorem prover for modal logics
• On models for propositional dynamic logic
• Peirce algebras
• The price of universality
• Some applications of topology to program semantics
• An essay in combinatory dynamic logic

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