scientific article

From MaRDI portal

Publication:3995676

Jump to:navigation, search

zbMath0688.03016MaRDI QIDQ3995676

Bernhard Herwig

Publication date: 17 September 1992

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

zbMATH Keywords

semantics games MML propositional \(\mu\)-calculus PDL

Mathematics Subject Classification ID

Logic in computer science (03B70) Models of other mathematical theories (03C65)

Related Items (1)

On logics with two variables

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3995676&oldid=13465663"