TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl - Normal modal logic - Document - PDFSEARCH.IO

First Page	Meta Content
	TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl Add to Reading List Document Date: 2009-01-28 11:49:26 Open Document File Size: 46,50 KB Share Result on Facebook IndustryTerm multi-agent systems / particular applications / normative systems / / Organization Utrecht University / / Person John-Jules Ch / / ProgrammingLanguage BASIC / / Technology artificial intelligence / / SocialTag Epistemic modal logic Normal modal logic Deontic logic Common knowledge Temporal logic Dynamic logic Kripke semantics Multimodal logic Logic Mathematical logic

TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowlAdd to Reading List