Hochschulschrift
Reasoning in Many Dimensions : Uncertainty and Products of Modal Logics [[Elektronische Ressource]]
- Weitere Titel
-
Mehr-dimensionales Schließen : Unsicherheit und Produkte von Modallogiken
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Bremen, Universität Bremen, Diss., 2014
- Ereignis
-
Veröffentlichung
- (wo)
-
Bremen
- (wer)
-
Staats- und Universitätsbibliothek Bremen
- (wann)
-
2014
- Urheber
- Beteiligte Personen und Organisationen
-
Lutz, Carsten
Calvanese, Diego
- URN
-
urn:nbn:de:gbv:46-00104019-10
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Jung, Jean Christoph
- Lutz, Carsten
- Calvanese, Diego
- Staats- und Universitätsbibliothek Bremen
Entstanden
- 2014
Ähnliche Objekte (12)
Reasoning in many dimensions : uncertainty and products of modal logics
The Complexity of Reasoning with Boolean Modal Logics : Extended Version
Many valued logics, 2.. Automated reasoning and practical applications
Lattices of modal logics
Terminological logics with modal operators
Terminological logics with modal operators
Fusions of Modal Logics Revisited
Modal Logics of Topological Relations
Executable modal and temporal logics : proceedings
A resolution calculus for modal logics
Machine learning, meta-reasoning and logics
Labelled propositional modal logics : theory and practice
Reasoning in many dimensions : uncertainty and products of modal logics
The Complexity of Reasoning with Boolean Modal Logics : Extended Version
Many valued logics, 2.. Automated reasoning and practical applications
Lattices of modal logics
Terminological logics with modal operators
Terminological logics with modal operators
Fusions of Modal Logics Revisited
Modal Logics of Topological Relations
Executable modal and temporal logics : proceedings
A resolution calculus for modal logics
Machine learning, meta-reasoning and logics
Labelled propositional modal logics : theory and practice
Reasoning in many dimensions : uncertainty and products of modal logics
The Complexity of Reasoning with Boolean Modal Logics : Extended Version
Many valued logics, 2.. Automated reasoning and practical applications
Lattices of modal logics
Terminological logics with modal operators
Terminological logics with modal operators
Fusions of Modal Logics Revisited
Modal Logics of Topological Relations
Executable modal and temporal logics : proceedings
A resolution calculus for modal logics
Machine learning, meta-reasoning and logics