File: Models/model.xml

Recommend this page to a friend!
  Classes of Daniel Martinez   Kripke Models   Models/model.xml   Download  
File: Models/model.xml
Role: Auxiliary data
Content type: text/plain
Description: auxiliar xml data
Class: Kripke Models
Test propositional logic with Kripke models
Author: By
Last change:
Date: 10 years ago
Size: 913 bytes
 

Contents

Class file image Download 
<?xml version="1.0" encoding="UTF-8"?>
<worlds>
	<world>
		<name>x1</name>
		<adjs>
			<adj>x2</adj>
			<adj>x3</adj>
		</adjs>
		<elems>
			<elem>q</elem>
		</elems>
	</world>
	<world>
		<name>x2</name>
		<adjs>
			<adj>x2</adj>
			<adj>x3</adj>
		</adjs>
		<elems>
			<elem>p</elem>
			<elem>q</elem>
			<elem>r</elem>
		</elems>
	</world>
	<world>
		<name>x3</name>
		<adjs>
			<adj>x2</adj>
		</adjs>
		<elems>
			<elem>p</elem>
			<elem>q</elem>
                        <elem>z</elem>
		</elems>
	</world>
	<world>
		<name>x4</name>
		<adjs>
			<adj>x5</adj>
		</adjs>
		<elems>
			<elem>q</elem>
		</elems>
	</world>
	<world>
		<name>x5</name>
		<adjs>
			<adj>x4</adj>
			<adj>x6</adj>
		</adjs>
		<elems></elems>
	</world>
	<world>
		<name>x6</name>
		<adjs>
			<adj>x4</adj>
		</adjs>
		<elems>
			<elem>q</elem>
		</elems>
	</world>
</worlds>