scientific article
From MaRDI portal
Publication:3086929
zbMath1217.68138MaRDI QIDQ3086929
Stephan Kreutzer, Martin Lange
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal fixed-point logicsextensions of the modal \(\mu\)-calculusfixed-point logic with chop (FLC)modal iteration calculus (MIC)
Games involving topology, set theory, or logic (91A44) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication:
