The Succinctness of First-order Logic over Modal Logic via a Formula Size Game
From MaRDI portal
Publication:4636046
zbMath1400.03022arXiv1604.07225MaRDI QIDQ4636046
Publication date: 23 April 2018
Full work available at URL: https://arxiv.org/abs/1604.07225
Related Items (2)
This page was built for publication: The Succinctness of First-order Logic over Modal Logic via a Formula Size Game