Pages that link to "Item:Q3605530"
From MaRDI portal
The following pages link to Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic (Q3605530):
Displayed 3 items.
The following pages link to Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic (Q3605530):
Displayed 3 items.