Modular Sequent Calculi for Classical Modal Logics (English)
- New search for: Gilbert, David R.
- New search for: Maffezioli, Paolo
- New search for: Gilbert, David R.
- New search for: Maffezioli, Paolo
In:
Studia Logica
;
103
, 1
; 175-217
;
2014
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Modular Sequent Calculi for Classical Modal Logics
-
Contributors:Gilbert, David R. ( author ) / Maffezioli, Paolo ( author )
-
Published in:Studia Logica ; 103, 1 ; 175-217
-
Publisher:
- New search for: Springer Netherlands
- New search for: Springer Science + Business Media B.V
-
Place of publication:Dordrecht [u.a.]
-
Publication date:2014
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 31.00
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 31.00 Mathematik: Allgemeines -
Source:
Table of contents – Volume 103, Issue 1
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 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