Modular Sequent Calculi for Classical Modal Logics (Englisch)
- Neue Suche nach: Gilbert, David R.
- Neue Suche nach: Maffezioli, Paolo
- Neue Suche nach: Gilbert, David R.
- Neue Suche nach: Maffezioli, Paolo
In:
Studia Logica
;
103
, 1
; 175-217
;
2014
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Modular Sequent Calculi for Classical Modal Logics
-
Beteiligte:Gilbert, David R. ( Autor:in ) / Maffezioli, Paolo ( Autor:in )
-
Erschienen in:Studia Logica ; 103, 1 ; 175-217
-
Verlag:
- Neue Suche nach: Springer Netherlands
- Neue Suche nach: Springer Science + Business Media B.V
-
Erscheinungsort:Dordrecht [u.a.]
-
Erscheinungsdatum:2014
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 31.00
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 31.00 Mathematik: Allgemeines -
Datenquelle:
Inhaltsverzeichnis – Band 103, Ausgabe 1
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
On Compactness of Logics That Can Express Properties of Symmetry or ConnectivityKoponen, Vera / Hyttinen, Tapani et al. | 2013
- 21
-
M-Sets and the Representation ProblemFont, Josep Maria / Moraschini, Tommaso et al. | 2013
- 53
-
Fast-Collapsing TheoriesAlexander, Samuel A. et al. | 2013
- 75
-
De Morgan Algebras with a Quasi-Stone OperatorBlyth, T. S. / Fang, Jie / Wang, Lei-bo et al. | 2013
- 91
-
The Logic of Generalized Truth Values and the Logic of BilatticesOdintsov, Sergei P. / Wansing, Heinrich et al. | 2014
- 113
-
A Logical Foundation of ArithmeticKim, Joongol et al. | 2014
- 145
-
Logics for Reasoning About Processes of Thinking with Information Coded by p-adic NumbersIlić Stepić, Angelina / Ognjanović, Zoran et al. | 2014
- 175
-
Modular Sequent Calculi for Classical Modal LogicsGilbert, David R. / Maffezioli, Paolo et al. | 2014
- 219
-
The Incompleteness of S4 $${\bigoplus}$$ S4 for the Product SpaceKremer, Philip et al. | 2015
- 227
-
Book Review: Neil Tennant, Changes of Mind: An Essay on Rational Belief RevisionGierasimczuk, Nina et al. | 2015
- 233
-
Book Review: Nicholas J.J. Smith, Logic: The Laws of TruthMakinson, David et al. | 2015