scientific article; zbMATH DE number 6302902

zbMath1288.03019MaRDI QIDQ5419878

Balder ten Cate

Publication date: 11 June 2014

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

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45)

Related Items (1)

Bisimulation quantifiers and uniform interpolation for guarded first order logic

This page was built for publication: