Propositional logic of imperfect information: Foundations and applications

Ahti Veikko Pietarinen*

*Corresponding author for this work

Research output: Contribution to journalJournal articlepeer-review

12 Citations (Scopus)

Abstract

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
Volume42
Issue number4
DOIs
Publication statusPublished - Dec 2001

Scopus Subject Areas

  • Logic

User-Defined Keywords

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

Fingerprint

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

Cite this