Beth definability for the guarded fragment

Bibliographische Detailangaben

Hauptverfasser:	Hoogland, Eva (VerfasserIn), Marx, Maarten (VerfasserIn), Otto, Martin (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam Inst. for Logic, Language and Computation 1999
Schriftenreihe:	Logic, philosophy and linguistics series] Instituut voor Taal, Logica en Informatie <Amsterdam>: [ILLC research report and technical notes series 1999,20
Schlagworte:	Modale logica
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!