Equivalence and quantifier rules in logic with imperfect information

Research output: Book/Report › Report › Academic

Original language	English
Place of Publication	Amsterdam
Publisher	Institute for Logic, Language and Computation (ILLC), University of Amsterdam
Number of pages	42
Publication status	Published - 2007

Name	Technical Report
Volume	PP-2007-20

Cite this

TY - BOOK

T1 - Equivalence and quantifier rules in logic with imperfect information

AU - Caicedo, X.

AU - Dechesne, F.

AU - Janssen, T.M.V.

PY - 2007

Y1 - 2007

UR - http://www.illc.uva.nl/Publications/ResearchReports/PP-2007-20.text.pdf

M3 - Report

T3 - Technical Report

BT - Equivalence and quantifier rules in logic with imperfect information

PB - Institute for Logic, Language and Computation (ILLC), University of Amsterdam

CY - Amsterdam

ER -