arXiv Analytics

Sign in

arXiv:1201.5811 [math.LO]AbstractReferencesReviewsResources

A general proof system for logics of imperfect information

Pietro Galliani

Published 2012-01-27Version 1

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.

Categories: math.LO
Subjects: 03B60, 03F03
Related articles: Most relevant | Search more
arXiv:1106.1323 [math.LO] (Published 2011-06-07, updated 2011-06-11)
Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
arXiv:1709.07301 [math.LO] (Published 2017-09-21)
Some observations about generalized quantifiers in logics of imperfect information
arXiv:2308.01623 [math.LO] (Published 2023-08-03)
Another proof for completeness of Łukasiewicz logic

Links

Toolbox