Propositional logic of imperfect information: Foundations and applications

Research output: Contribution to journalArticlepeer-review

10 Citations (Scopus)


I will show that the semantic structure of a new imperfect-information propositional logic can be described in terms of extensive forms of semantic games. I will discuss some ensuing properties of these games such as imperfect recall, informational consistency, and team playing. Finally, I will suggest a couple of applications that arise in physics, and most notably in quantum theory and quantum logics.

Original languageEnglish
Pages (from-to)193-210
Number of pages18
JournalNotre Dame Journal of Formal Logic
Issue number4
Publication statusPublished - Jan 1 2001


  • Extensive games
  • Imperfect information
  • Propositional logic
  • Quantum logic

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'Propositional logic of imperfect information: Foundations and applications'. Together they form a unique fingerprint.

Cite this