Pages that link to "Item:Q616040"

The following pages link to Automata for epistemic temporal logic with synchronous communication (Q616040):

Displaying 3 items.

• Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
• Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
• Knowledge and Local Actions (Q5213656) (← links)