scientific article

zbMath0539.68016MaRDI QIDQ3326827

Rohit Parikh

Publication date: 1983

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

mu-calculusPropositional dynamic logiccake cutting algorithmdecidable propositional logic of programsextensions of PDLpropositional game logic

Mathematics Subject Classification ID

Cooperative games (91A12) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (12)

On the use (and abuse) of logic in game theory ⋮ Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Knowledge and Games in Modal Semirings ⋮ Multirelations with infinite computations ⋮ Relations into algebras of probabilistic distributions ⋮ Determinism and looping in combinatory PDL ⋮ An algebraic approach to multirelations and their properties ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection ⋮ Multirelational representation theorems for complete idempotent left semirings. ⋮ An essay in combinatory dynamic logic

This page was built for publication: