Model theory for modal logic : Kripke models for modal predicate calculi

Model theory for modal logic Kripke models for modal predicate calculi

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Bowen, Kenneth A. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Dordrecht u.a. Reidel 1979
Schriftenreihe:Synthese library 127
Schlagworte:
Calcul des prédicats > Modale logica > Modalité (Logique) > Modèles, Théorie des > Modèles, théorie des > Modality (Logic) > Model theory > Predicate calculus > Modelltheorie > Modallogik
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:X, 127 S.
ISBN:9027709297
90-277-0929-7