TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC STEVE AWODEY AND KOHEI KISHIDA Abstra t. As M Kinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to al - Steve Kinsey - Document - PDFSEARCH.IO

First Page	Meta Content
	TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC STEVE AWODEY AND KOHEI KISHIDA Abstra t. As M Kinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to al Add to Reading List Document Date: 2014-06-01 15:27:23 Open Document File Size: 341,77 KB Share Result on Facebook Facility Carnegie Mellon University / University of Pittsburgh / / IndustryTerm axiom systems / / Organization Carnegie Mellon University / Philosophy Department / University of Pittsburgh / / Person Paul Hovda / Rohit Parikh / Eri Pa / Ken Manders / Johan van Benthem / Hora / Mark Hin / / SocialTag Modal logic Non-classical logic Interpretation Logic Philosophical logic Model theory

TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC STEVE AWODEY AND KOHEI KISHIDA Abstra t. As M Kinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to alAdd to Reading List