A general proof system for logics of imperfect information
From MaRDI portal
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.
This page was built for publication: A general proof system for logics of imperfect information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6230535)
