scientific article; zbMATH DE number 6863853

zbMath1385.03035MaRDI QIDQ4636286

Facundo Carreiro, Yde Venema

Publication date: 23 April 2018

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

zbMATH Keywords

automata theorymodal \(\mu\)-calculuspropositional dynamic logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (2)

Unnamed Item ⋮ A propositional dynamic logic for instantial neighborhood semantics

This page was built for publication: