Effective completeness theorems for modal logic

Gespeichert in:

Bibliographische Detailangaben

Zeitschriftentitel:	Annals of Pure and Applied Logic
Personen und Körperschaften:	Ganguli, Suman, Nerode, Anil
In:	Annals of Pure and Applied Logic, 128, 2004, 1-3, S. 141-195
Format:	E-Article
Sprache:	Englisch
veröffentlicht:	Elsevier BV
Schlagwörter:	Logic