Modal Logic with Bounded Quantification over Worlds

DOI10.1093/LOGCOM/11.5.701zbMath0990.03015OpenAlexW2099288776MaRDI QIDQ2772882

Rogier M. van Eijk, Wiebe van der Hoek, Frank S. de Boer, John-Jules Ch. Meyer

Publication date: 11 April 2002

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26359

zbMATH Keywords

modal logicequational logicnetwork topologieshybrid languagesbounded quantification over worldshistory-based bisimulation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Modal Logic with Bounded Quantification over Worlds