Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Allgemeinbegriff

Modallogik

Mathematische Logik

Subject heading

Modallogik

Synonym

Modale Logik
Modalitätenlogik

Broader term

Mathematische Logik

Related

Bewachte Logik (verwandter Begriff)
Kripke-Struktur (verwandter Begriff)

Topic

Erkenntnistheorie, Logik
Mathematik

Source

M

Record type

Allgemeinbegriff

GND-Identifier

4074914-9

Record ID

040749142

Topic of

show all

Anderskönnen trotz Determinismus

Anderskönnen trotz Determinismus

Modal logics and intermediate logics motivated by an open problem on c.c.c. forcing

The Model Theory of Quantitative Coalgebraic Modal Logics

Gemeinsamkeiten der "Neuen Logik" mit dem Mehrweltenkalkül der Modallogik

Nominale Modallogik

Nominale Modallogik

The role of modal and amodal representations in action planning

Einführung in die Modallogik

Essence and necessity : a historical and analytical study of Aristotle's modal logic

Identity and Necessity/ Identität und Notwendigkeit (Englisch/Deutsch) : Reclam Great Papers Philosophie

Logik-Skript 2 : Einführung in die Modallogik

Vermögen und Möglichkeit : die Lehre des Aristoteles und die Debatte in der analytischen Philosophie

Vermögen und Möglichkeit : Die Lehre des Aristoteles und die Debatte in der analytischen Philosophie

Einige modale Logiken über K4D

Oskar Becker on modalities

Oskar Becker on Modalities

Formale Subtextanalyse : Kalkülisierung von Narration und Interpretation

Ockhams Theorie der Modalitäten: metaphysische, natürliche und historische Notwendigkeit

Ockhams Theorie der Modalitäten: Metaphysische, natürliche und historische Notwendigkeit

Peter Klimczak: Formale Subtextanalyse: Kalkülisierung von Narration und Interpretation

Modality, semantics and interpretations : the Second Asian Workshop on Philosophical Logic

Modality, Semantics and Interpretations : The Second Asian Workshop on Philosophical Logic

Moderne Theorien des Multiversums: Eine Betrachtung ausgehend von David Lewis` Theorie der möglichen Welten

Satisfiability and model checking in team based logics

A chance for possibility : an investigation into the grounds of modality

A Chance for Possibility : An Investigation into the Grounds of Modality

Moderne Theorien des Multiversums : eine Betrachtung ausgehend von David Lewis' Theorie der möglichen Welten

Reactive Kripke semantics

Reactive Kripke Semantics

First-order and modal logics for spatial reasoning = Raum und Logik: Prädikaten- und modallogische Methoden für das räumliche Schließen

Modal logic

Moderne Theorien des Multiversums: Eine Betrachtung ausgehend von David Lewis` Theorie der möglichen Welten

On the complexity of modal logic variants and their fragments

Philosophical logics - a survey and a bibliography

Stochastic coalgebraic logic

Modalität : Möglichkeit, Notwendigkeit, Essenzialismus

Alternativen in der Raumzeit : eine Studie zur philosophischen Anwendung multimodaler Aussagenlogiken

Alternativen in der Raumzeit : Eine Studie zur philosophischen Anwendung multimodaler Aussagenlogiken

Alternativen in der Raumzeit : Eine Studie zur philosophischen Anwendung multimodaler Aussagenlogiken

Formen des logischen Allwissens : eine problemorientierte Darstellung modallogischer Systeme

Logic, language, and computation : revised selected papers

Logic, language, and computation : revised selected papers

Modales natürliches Schließen

Modales Natürliches Schließen

The complexity of hybrid logics over restricted frame classes

Gott und mögliche Welten : Studien zur Logik theologischer Aussagen über das Mögliche

Komplexität modaler Logiken

Behavioural equivalences for coalgebras

Constructive predicate logic and constructive modal logic : formal duality versus semantical duality

Gott und mögliche Welten : Studien zur Logik theologischer Aussagen über das Mögliche

Optimised modal translation and resolution

Resolution-based decision procedures for subclasses of first-order logic

Guarded logics: algorithms and bisimulation

Guarded logics: algorithms and bisimulation

Metaphysik des Bewußtseins : ein naturalistischer Erklärungsansatz

Modalities by perspective : Aristotle, the stoics and a modern reconstruction

Types, tableaus, and Gödel's God

Types, Tableaus, and Gödel's God

Modal and temporal properties of processes
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal