Uniform interpolation and sequent calculi in modal logic (English)
Free access
- New search for: Iemhoff, Rosalie
- New search for: Iemhoff, Rosalie
In:
Archive for Mathematical Logic
;
58
, 1
;
155-181
;
2018
- Article (Journal) / Electronic Resource
-
Title:Uniform interpolation and sequent calculi in modal logic
-
Contributors:Iemhoff, Rosalie ( author )
-
Published in:Archive for Mathematical Logic ; 58, 1 ; 155-181
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2018-05-10
-
Size:27 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 58, 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
-
Diagonal reflections on squaresFuchs, Gunter et al. | 2018
- 27
-
Convexity and unique minimum pointsBerger, Josef / Svindland, Gregor et al. | 2018
- 35
-
Strange ultrafiltersGitik, Moti et al. | 2018
- 53
-
Families of sets related to Rosenthal’s lemmaSobota, Damian et al. | 2018
- 71
-
Extendible cardinals and the mantleUsuba, Toshimichi et al. | 2018
- 77
-
The iterability hierarchy above $${{\mathrm{\mathsf {I3}}}}$$Andretta, Alessandro / Dimonte, Vincenzo et al. | 2018
- 77
-
The iterability hierarchy aboveAndretta, Alessandro / Dimonte, Vincenzo et al. | 2018
- 99
-
A strong failure of $$\aleph _0$$-stability for atomic classesLaskowski, Michael C. / Shelah, Saharon et al. | 2018
- 99
-
A strong failure of -stability for atomic classesLaskowski, Michael C. / Shelah, Saharon et al. | 2018
- 119
-
Sequent calculus for classical logic probabilizedBoričić, Marija et al. | 2018
- 137
-
An extension of Shelah’s trichotomy theoremAhmed, Shehzad et al. | 2018
- 155
-
Uniform interpolation and sequent calculi in modal logicIemhoff, Rosalie et al. | 2018
- 183
-
A completeness theorem for continuous predicate modal logicBaratella, Stefano et al. | 2018
- 203
-
The binary expansion and the intermediate value theorem in constructive reverse mathematicsBerger, Josef / Ishihara, Hajime / Kihara, Takayuki / Nemoto, Takako et al. | 2018
- 219
-
Selfextensional logics with a distributive nearlattice termGonzález, Luciano J. et al. | 2018
- 245
-
A model of the generic Vopěnka principle in which the ordinals are not MahloGitman, Victoria / Hamkins, Joel David et al. | 2018