scientific article
From MaRDI portal
Publication:3326827
zbMath0539.68016MaRDI QIDQ3326827
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
mu-calculusPropositional dynamic logiccake cutting algorithmdecidable propositional logic of programsextensions of PDLpropositional game logic
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:
