Reasoning about Belief in Social Software using Modal Logic

First Page		Document Content
Date: 2010-09-28 11:02:33 Branches of philosophy Metalogic Non-classical logic Modal logic Epistemic modal logic Truth Causality Function Rohit Jivanlal Parikh Logic Philosophy Philosophical logic		Reasoning about Belief in Social Software using Modal Logic Add to Reading List Source URL: www.ronalddehaan.eu Download Document from Source Website File Size: 762,64 KB Share Document on Facebook

	Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel DocID: 1tY4T - View Document
	Open Questions in Non-Classical Logic, Mathematics and Philosophy Can BA¸ SKENT Department of Computer Science, University of Bath DocID: 1tqvu - View Document
	Some Non-Classical Methods in (Epistemic) Modal Logic and Games: A Proposal Can BAS ¸ KENT The Graduate Center of the City University of New York DocID: 1tf5r - View Document
	A Game Semantics for a Non-Classical Logic Can BAS ¸ KENT INRIA, Nancy DocID: 1tbTS - View Document
	Some Non-Classical Methods in Epistemic Logic and Games Can BAS ¸ KENT The Graduate Center of the City University of New York DocID: 1tbhP - View Document