The Succinctness of First-order Logic over Modal Logic via a Formula Size Game

zbMath1400.03022arXiv1604.07225MaRDI QIDQ4636046

Miikka Vilander, Lauri Hella

Publication date: 23 April 2018

Full work available at URL: https://arxiv.org/abs/1604.07225

zbMATH Keywords

succinctness\(n\)-bisimulationbisimulation invariant first-order logicformula size game

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: The Succinctness of First-order Logic over Modal Logic via a Formula Size Game