research
∙
07/27/2023
Base-based Model Checking for Multi-Agent Only Believing (long version)
We present a novel semantics for the language of multi-agent only believ...
research
∙
06/09/2014