- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0665
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Maehara-style modal nested calculi ; day:18 ; month:7 ; year:2018 ; pages:1-27
Archive for mathematical logic ; (18.7.2018), 1-27
- Classification
-
Mathematik
- Creator
- Contributor
-
Straßburger, Lutz
SpringerLink (Online service)
- DOI
-
10.1007/s00153-018-0636-1
- URN
-
urn:nbn:de:101:1-2018092219070270009801
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:22 AM CEST
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.
Associated
- Kuznets, Roman
- Straßburger, Lutz
- SpringerLink (Online service)
Other Objects (12)
Uniform interpolation and sequent calculi in modal logic
Calculi.
Calculi.
Simplified Kripke-Style Semantics for Some Normal Modal Logics
Calculi humani
Curationem Calculi Humani
Curationem Calculi Humani
8. Calculi praeliminares.
Principia Calculi Infinitesimalis.
Generationem Calculi Humani
CALCULI PULMONUM. IIII.
Fundamenta Calculi Rudolphini
Uniform interpolation and sequent calculi in modal logic
Calculi.
Calculi.
Simplified Kripke-Style Semantics for Some Normal Modal Logics
Calculi humani
Curationem Calculi Humani
Curationem Calculi Humani
8. Calculi praeliminares.
Principia Calculi Infinitesimalis.
Generationem Calculi Humani
CALCULI PULMONUM. IIII.
Fundamenta Calculi Rudolphini
Uniform interpolation and sequent calculi in modal logic
Calculi.
Calculi.
Simplified Kripke-Style Semantics for Some Normal Modal Logics
Calculi humani
Curationem Calculi Humani
Curationem Calculi Humani
8. Calculi praeliminares.
Principia Calculi Infinitesimalis.
Generationem Calculi Humani
CALCULI PULMONUM. IIII.