id	sid	tid	token	lemma	pos
tt44pk05x2v	1	1	in	in	ADP
tt44pk05x2v	1	2	this	this	DET
tt44pk05x2v	1	3	dissertation	dissertation	NOUN
tt44pk05x2v	1	4	,	,	PUNCT
tt44pk05x2v	1	5	i	i	PRON
tt44pk05x2v	1	6	accomplish	accomplish	VERB
tt44pk05x2v	1	7	four	four	NUM
tt44pk05x2v	1	8	main	main	ADJ
tt44pk05x2v	1	9	tasks	task	NOUN
tt44pk05x2v	1	10	.	.	PUNCT
tt44pk05x2v	2	1	first	first	ADV
tt44pk05x2v	2	2	,	,	PUNCT
tt44pk05x2v	2	3	i	i	PRON
tt44pk05x2v	2	4	construct	construct	VERB
tt44pk05x2v	2	5	a	a	DET
tt44pk05x2v	2	6	canonical	canonical	ADJ
tt44pk05x2v	2	7	model	model	NOUN
tt44pk05x2v	2	8	for	for	ADP
tt44pk05x2v	2	9	constant	constant	ADJ
tt44pk05x2v	2	10	domain	domain	NOUN
tt44pk05x2v	2	11	basic	basic	ADJ
tt44pk05x2v	2	12	first	first	ADJ
tt44pk05x2v	2	13	-	-	PUNCT
tt44pk05x2v	2	14	order	order	NOUN
tt44pk05x2v	2	15	logic	logic	NOUN
tt44pk05x2v	2	16	(	(	PUNCT
tt44pk05x2v	2	17	bqlcd	bqlcd	NOUN
tt44pk05x2v	2	18	)	)	PUNCT
tt44pk05x2v	2	19	,	,	PUNCT
tt44pk05x2v	2	20	the	the	DET
tt44pk05x2v	2	21	logic	logic	NOUN
tt44pk05x2v	2	22	obtained	obtain	VERB
tt44pk05x2v	2	23	model	model	NOUN
tt44pk05x2v	2	24	-	-	PUNCT
tt44pk05x2v	2	25	theoretically	theoretically	ADV
tt44pk05x2v	2	26	by	by	ADP
tt44pk05x2v	2	27	dropping	drop	VERB
tt44pk05x2v	2	28	the	the	DET
tt44pk05x2v	2	29	requirement	requirement	NOUN
tt44pk05x2v	2	30	on	on	ADP
tt44pk05x2v	2	31	the	the	DET
tt44pk05x2v	2	32	kripke	kripke	ADJ
tt44pk05x2v	2	33	models	model	NOUN
tt44pk05x2v	2	34	for	for	ADP
tt44pk05x2v	2	35	constant	constant	ADJ
tt44pk05x2v	2	36	domain	domain	NOUN
tt44pk05x2v	2	37	intuitionistic	intuitionistic	ADJ
tt44pk05x2v	2	38	first	first	ADJ
tt44pk05x2v	2	39	-	-	PUNCT
tt44pk05x2v	2	40	order	order	NOUN
tt44pk05x2v	2	41	logic	logic	NOUN
tt44pk05x2v	2	42	that	that	SCONJ
tt44pk05x2v	2	43	the	the	DET
tt44pk05x2v	2	44	accessibility	accessibility	NOUN
tt44pk05x2v	2	45	relation	relation	NOUN
tt44pk05x2v	2	46	is	be	AUX
tt44pk05x2v	2	47	reflexive	reflexive	ADJ
tt44pk05x2v	2	48	.	.	PUNCT
tt44pk05x2v	3	1	second	second	ADV
tt44pk05x2v	3	2	,	,	PUNCT
tt44pk05x2v	3	3	i	i	PRON
tt44pk05x2v	3	4	prove	prove	VERB
tt44pk05x2v	3	5	completeness	completeness	NOUN
tt44pk05x2v	3	6	for	for	ADP
tt44pk05x2v	3	7	bqlcdr	bqlcdr	NOUN
tt44pk05x2v	3	8	,	,	PUNCT
tt44pk05x2v	3	9	the	the	DET
tt44pk05x2v	3	10	extension	extension	NOUN
tt44pk05x2v	3	11	of	of	ADP
tt44pk05x2v	3	12	bqlcd	bqlcd	NOUN
tt44pk05x2v	3	13	obtained	obtain	VERB
tt44pk05x2v	3	14	by	by	ADP
tt44pk05x2v	3	15	only	only	ADV
tt44pk05x2v	3	16	allowing	allow	VERB
tt44pk05x2v	3	17	reflexive	reflexive	ADJ
tt44pk05x2v	3	18	worlds	world	NOUN
tt44pk05x2v	3	19	to	to	PART
tt44pk05x2v	3	20	serve	serve	VERB
tt44pk05x2v	3	21	as	as	ADP
tt44pk05x2v	3	22	counterexamples	counterexample	NOUN
tt44pk05x2v	3	23	to	to	ADP
tt44pk05x2v	3	24	logical	logical	ADJ
tt44pk05x2v	3	25	consequence	consequence	NOUN
tt44pk05x2v	3	26	.	.	PUNCT
tt44pk05x2v	4	1	third	third	ADJ
tt44pk05x2v	4	2	,	,	PUNCT
tt44pk05x2v	4	3	i	i	PRON
tt44pk05x2v	4	4	show	show	VERB
tt44pk05x2v	4	5	that	that	SCONJ
tt44pk05x2v	4	6	the	the	DET
tt44pk05x2v	4	7	naive	naive	ADJ
tt44pk05x2v	4	8	theory	theory	NOUN
tt44pk05x2v	4	9	of	of	ADP
tt44pk05x2v	4	10	truth	truth	NOUN
tt44pk05x2v	4	11	,	,	PUNCT
tt44pk05x2v	4	12	the	the	DET
tt44pk05x2v	4	13	theory	theory	NOUN
tt44pk05x2v	4	14	obtained	obtain	VERB
tt44pk05x2v	4	15	by	by	ADP
tt44pk05x2v	4	16	adding	add	VERB
tt44pk05x2v	4	17	the	the	DET
tt44pk05x2v	4	18	tarski	tarski	ADJ
tt44pk05x2v	4	19	biconditionals	biconditional	NOUN
tt44pk05x2v	4	20	to	to	ADP
tt44pk05x2v	4	21	the	the	DET
tt44pk05x2v	4	22	peano	peano	PROPN
tt44pk05x2v	4	23	axioms	axioms	PROPN
tt44pk05x2v	4	24	,	,	PUNCT
tt44pk05x2v	4	25	is	be	AUX
tt44pk05x2v	4	26	ω	ω	PROPN
tt44pk05x2v	4	27	-	-	NOUN
tt44pk05x2v	4	28	consistent	consistent	ADJ
tt44pk05x2v	4	29	in	in	ADP
tt44pk05x2v	4	30	bqlcdr	bqlcdr	NOUN
tt44pk05x2v	4	31	by	by	ADP
tt44pk05x2v	4	32	building	build	VERB
tt44pk05x2v	4	33	a	a	DET
tt44pk05x2v	4	34	standard	standard	ADJ
tt44pk05x2v	4	35	model	model	NOUN
tt44pk05x2v	4	36	.	.	PUNCT
tt44pk05x2v	5	1	fourth	fourth	ADJ
tt44pk05x2v	5	2	,	,	PUNCT
tt44pk05x2v	5	3	i	i	PRON
tt44pk05x2v	5	4	defend	defend	VERB
tt44pk05x2v	5	5	a	a	DET
tt44pk05x2v	5	6	normative	normative	ADJ
tt44pk05x2v	5	7	analysis	analysis	NOUN
tt44pk05x2v	5	8	of	of	ADP
tt44pk05x2v	5	9	logical	logical	ADJ
tt44pk05x2v	5	10	consequence	consequence	NOUN
tt44pk05x2v	5	11	and	and	CCONJ
tt44pk05x2v	5	12	use	use	VERB
tt44pk05x2v	5	13	the	the	DET
tt44pk05x2v	5	14	normative	normative	ADJ
tt44pk05x2v	5	15	analysis	analysis	NOUN
tt44pk05x2v	5	16	to	to	PART
tt44pk05x2v	5	17	argue	argue	VERB
tt44pk05x2v	5	18	that	that	SCONJ
tt44pk05x2v	5	19	the	the	DET
tt44pk05x2v	5	20	propositional	propositional	ADJ
tt44pk05x2v	5	21	fragment	fragment	NOUN
tt44pk05x2v	5	22	of	of	ADP
tt44pk05x2v	5	23	bqlcdr	bqlcdr	PROPN
tt44pk05x2v	5	24	is	be	AUX
tt44pk05x2v	5	25	the	the	DET
tt44pk05x2v	5	26	correct	correct	ADJ
tt44pk05x2v	5	27	propositional	propositional	ADJ
tt44pk05x2v	5	28	logic	logic	NOUN
tt44pk05x2v	5	29	.	.	PUNCT