Titel |
BH-CIFOL : Case-Intensional First Order Logic ; (II) Branching histories / Nuel Belnap ; Thomas Müller |
|---|---|
Beteiligt |
Nuel D. Belnap (Verfasser) |
Erschienen |
Konstanz: Bibliothek der Universität Konstanz |
Umfang |
Online-Ressource |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
Modal logic
Quantification Sortal Tracing
Substance
Identity Indeterminism Branching |
Persistent Identifier |
|
Weitere Angaben |
In: Journal of Philosophical Logic ; 43 (2014), 5. - S. 835-866. - ISSN 0022-3611. - eISSN 1573-0433 |
Datensatz-ID |
1099435439 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: