TY - BOOK AU - Benthem Johan van TI - Model logic for open minds SN - 978-1-57586-599-7 U1 - 160 PY - 2010/// CY - Stanford PB - CSLI KW - Modality (Logic) ER -