scientific article; zbMATH DE number 1759383

zbMATH Open0998.03019MaRDI QIDQ4536331FDOQ4536331

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

Publication date: 25 November 2002

Title of this publication is not available (Why is that?)

Recommendations

• Modal logic with bounded quantification over worlds
• A multiprocess network logic with temporal and spatial modalities
• Distributed modal logic
• Quantificational modal logic with sequential Kripke semantics
• scientific article; zbMATH DE number 1267265

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Network design and communication in computer systems (68M10)

Cited In (1)

• A multiprocess network logic with temporal and spatial modalities

This page was built for publication:

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