Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 Add to Reading List Document Date: 2011-03-25 01:15:11 Open Document File Size: 208,51 KB Share Result on Facebook Company Ki / / Country Australia / Spain / / / Facility University of Western Australia / University of Sevilla / / IndustryTerm multi-agent systems / epistemic operator / modal operator / / Organization University of Sevilla / Sevilla / University of Western Australia / Perth / / Person Ai / / Position model / / ProvinceOrState Western Australia / / Region Western Australia / / Technology artificial intelligence / PKI / / SocialTag Modal logic Philosophical logic Theoretical computer science Model theory Logic programming Bisimulation Epistemic modal logic Interpretation Propositional variable Logic

Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2Add to Reading List