A general proof system for logics of imperfect information
Logic
2012-01-30 v1
Abstract
We develop a semantics for logics of imperfect information with respect to general models. Then we build a proof system and prove its soundness and completeness with respect to this semantics.
Cite
@article{arxiv.1201.5811,
title = {A general proof system for logics of imperfect information},
author = {Pietro Galliani},
journal= {arXiv preprint arXiv:1201.5811},
year = {2012}
}