A general proof system for logics of imperfect information

2012/01/27 by Pietro Galliani, Galliani, Pietro
Computer Science · #03B60 #03F03 #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.48550/arxiv.1201.5811

openalex publication_date 2012/01/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Citations

• Dependence and Independence
• Completeness in the theory of types

Related

• First-order logic with incomplete information
• Dynamic Logics of Imperfect Information: from Teams and Games to Transitions
• Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
• The Inductive Logic of Information Systems
• Strategy Logic with Imperfect Information