Equivalence and quantifier rules in logic with imperfect information

X. Caicedo, F. Dechesne, T.M.V. Janssen

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherInstitute for Logic, Language and Computation
Number of pages42
Publication statusPublished - 2007

Publication series

NameTechnical Report
VolumePP-2007-20

Cite this