Maehara-style modal nested calculi

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1432-0665
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
Maehara-style modal nested calculi ; day:18 ; month:7 ; year:2018 ; pages:1-27
Archive for mathematical logic ; (18.7.2018), 1-27

Klassifikation
Mathematik

Urheber
Beteiligte Personen und Organisationen
Straßburger, Lutz
SpringerLink (Online service)

DOI
10.1007/s00153-018-0636-1
URN
urn:nbn:de:101:1-2018092219070270009801
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:22 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Ähnliche Objekte (12)

Uniform interpolation and sequent calculi in modal logic

Uniform interpolation and sequent calculi in modal logic

Calculi.

Abschnitt

Calculi.

Calculi.

Abschnitt

Calculi.

Simplified Kripke-Style Semantics for Some Normal Modal Logics

Simplified Kripke-Style Semantics for Some Normal Modal Logics

Calculi humani

Abschnitt

Calculi humani

Curationem Calculi Humani

Hochschulschrift

Curationem Calculi Humani

Curationem Calculi Humani

Hochschulschrift

Curationem Calculi Humani

8. Calculi praeliminares.

Kapitel

8. Calculi praeliminares.

Principia Calculi Infinitesimalis.

Abschnitt

Principia Calculi Infinitesimalis.

Generationem Calculi Humani

Hochschulschrift | Monografie

Generationem Calculi Humani

CALCULI PULMONUM. IIII.

Kapitel

CALCULI PULMONUM. IIII.

Fundamenta Calculi Rudolphini

Monografie

Fundamenta Calculi Rudolphini

Verbundene Objekte