id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ap-464	Jelínek, I.	Modal Logic - a Tool for Design Process Formalisation	2003	5	.pdf	application/pdf	3977	190	57	Let us introduce the frame of worlds [1] (structure [14]) formally as an ordered couple: � �F W R� , , where W set of worlds, R R W W� � , binary relation (accessibility relation). The model (P-model) within the frame � �F W R� , will be then called a triad: � �M W R V� , , where V: P � 2W. V maps each atomic formula p P� to the subset � �V p W� and therefore represents all worlds w W� in which p is valid.	cache/ap-464.pdf	txt/ap-464.txt