BeepBeep

swMATH2026MaRDI QIDQ14572FDOQ14572

Author name not available (Why is that?)

Cited In (2)

• Foundations of fine-grained explainability
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

This page was built for software: BeepBeep