Modal logic with bounded quantification over worlds

DOI10.1093/LOGCOM/11.5.701MaRDI QIDQ2772882zbMATH OpenOpenAlexFDO

Authors Rogier M. van Eijk, Wiebe van der Hoek, Frank S. de Boer, John-Jules 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

bounded quantification over worldsequational logichistory-based bisimulationhybrid languagesmodal logicnetwork topologies

Mathematics Subject Classification ID

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

Recommendations

• Quantified modal logic
• scientific article; zbMATH DE number 1389650
• Modal logics for qualitative possibility theory
• QUANTIFIED MODAL RELEVANT LOGICS
• scientific article; zbMATH DE number 5295712
• Modal logic over finite structures
• A Systematic Presentation of Quantified Modal Logics
• scientific article; zbMATH DE number 4204315
• Unifying quantified modal logic
• Restricted normal modal logics and levelled possible worlds semantics

Cited in

(2)

• scientific article; zbMATH DE number 1759383 (Why is no real title available?)
• scientific article; zbMATH DE number 1453075 (Why is no real title available?)

This page was built for publication: Modal logic with bounded quantification over worlds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2772882)