Unifiability in extensions of K4:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Gencer, Çiğdem (VerfasserIn), Jongh, Dick de (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Amsterdam Inst. for Logic, Language and Computation 2007
Schriftenreihe:ILLC research report and technical notes series Logic, philosophy and linguistics series ; 2007,38
Beschreibung:Online-Ausg.: . http://www.illc.uva.nl/Publications/ResearchReports/PP-2007-38.text.pdf
Umfang:13 S.