The following pages link to (Q4536335):
Displaying 9 items.
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- The monodic fragment of propositional term modal logic (Q2001365) (← links)
- First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3100161) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- (Q3429653) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
- (Q3989937) (← links)
- (Q5755179) (← links)
