- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
124 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Berlin, Freie Univ., Diss., 1993
- Keyword
-
Modallogik
- Creator
-
Wolter, Frank
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:37 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Wolter, Frank
Other Objects (12)
A resolution calculus for modal logics
Modal Logics of Topological Relations
Fusions of Modal Logics Revisited
The decision problem for combined modal logics
Reasoning in many dimensions : uncertainty and products of modal logics
Terminological logics with modal operators
Terminological logics with modal operators
Incremental decision procedures for modal logics with nominals and eventualities
Reasoning in Many Dimensions : Uncertainty and Products of Modal Logics [[Elektronische Ressource]]
Executable modal and temporal logics : proceedings
Benchmark libraries for automated theorem proving systems in intuitionistic and modal logics
Labelled propositional modal logics : theory and practice
A resolution calculus for modal logics
Modal Logics of Topological Relations
Fusions of Modal Logics Revisited
The decision problem for combined modal logics
Reasoning in many dimensions : uncertainty and products of modal logics
Terminological logics with modal operators
Terminological logics with modal operators
Incremental decision procedures for modal logics with nominals and eventualities
Reasoning in Many Dimensions : Uncertainty and Products of Modal Logics [[Elektronische Ressource]]
Executable modal and temporal logics : proceedings
Benchmark libraries for automated theorem proving systems in intuitionistic and modal logics
Labelled propositional modal logics : theory and practice
A resolution calculus for modal logics
Modal Logics of Topological Relations
Fusions of Modal Logics Revisited
The decision problem for combined modal logics
Reasoning in many dimensions : uncertainty and products of modal logics
Terminological logics with modal operators
Terminological logics with modal operators
Incremental decision procedures for modal logics with nominals and eventualities
Reasoning in Many Dimensions : Uncertainty and Products of Modal Logics [[Elektronische Ressource]]
Executable modal and temporal logics : proceedings
Benchmark libraries for automated theorem proving systems in intuitionistic and modal logics