Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge

@article{Ajspur2013TableaubasedDP,
  title={Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge},
  author={Mai Lise Ajspur and Valentin Goranko and Dmitry Shkatov},
  journal={Logic Journal of the IGPL},
  year={2013},
  volume={21},
  pages={407-437}
}
We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multiagent epistemic logic CMAEL(CD) with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for CMAEL(CD) and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 57 references

Similar Papers

Loading similar papers…