Interpolation and definability in modal logics modal and intuitionistic logic

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gabbay, Dov M. 1945- (VerfasserIn), Maksimova, Larisa L. 1943- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Oxford Clarendon Press 2005
Schriftenreihe:	Oxford logic guides 46
Schlagworte:	Interpolation Modallogik Mathematische Logik
Online-Zugang:	UBT01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge