Signalling in languages with imperfect information

DOI10.1023/A:1010362218565zbMath0984.03029MaRDI QIDQ5946350

Gabriel Sandu

Publication date: 5 May 2002

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010362218565

zbMATH Keywords

survey; linear logic; independence friendly logic; informationally independent quantifiers; languages with imperfect information; semantic games of imperfect information; semantic independence of quantifiers

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03B65: Logic of natural languages

68T30: Knowledge representation

03C80: Logic with extra quantifiers and operators

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

Related Items

Propositional games with explicit strategies