Pages that link to "Item:Q835839"

The following pages link to Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839):

Displaying 9 items.

• Arbitrary arrow update logic (Q343913) (← links)
• Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
• Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems (Q1712550) (← links)
• A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
• Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← 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)
• Are bundles good deals for first-order modal logic? (Q6116193) (← links)