• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Article

Dialogue Games dor Dishkant's Quantum Modal Logic

Logical Investigations. 2013. No. 19. P. 353-365.

Recently some elaborations were made concerning the game theoretic semantic of Lℵ0 and its extension. In the paper this kind of semantics  is developed for Dishkant’s quantum modal logic LQ which is also, in fact, the specific extension of Lℵ0 . As a starting point some game theoretic interpretation  for the S L system (extending both Lukasiewicz logic Lℵ0 and modal logic S5) was exploited which has been proposed in 2006 by C.Ferm˝uller and R.Kosik . They,  in turn, based on ideas already introduced by Robin Giles in the 1970th to obtain  a characterization of Lℵ0 in terms of a Lorenzen style dialogue game combined with bets on the results of binary experiments that may show dispersion.