Maehara-style modal nested calculi (English)
Free access
- New search for: Kuznets, Roman
- New search for: Straßburger, Lutz
- New search for: Kuznets, Roman
- New search for: Straßburger, Lutz
In:
Archive for Mathematical Logic
;
58
, 3
;
359-385
;
2018
- Article (Journal) / Electronic Resource
-
Title:Maehara-style modal nested calculi
-
Contributors:Kuznets, Roman ( author ) / Straßburger, Lutz ( author )
-
Published in:Archive for Mathematical Logic ; 58, 3 ; 359-385
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2018-07-18
-
Size:27 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:Proof theory , Sequent calculus , Nested sequents , Modal logic , Intuitionistic logic , Cut elimination , Multiple conclusion , Intuitionistic modal logic03B45 , 03B60 , 03B62 , 03B70 , 03F03 , 03F05 , 03F07 , 03F55 , Mathematics , Mathematical Logic and Foundations , Mathematics, general , Algebra
-
Source:
Table of contents – Volume 58, Issue 3
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.
- 267
-
Some remarks on inp-minimal and finite burden groupsDobrowolski, Jan / Goodrick, John et al. | 2018
- 275
-
A Laver-like indestructibility for hypermeasurable cardinalsHonzik, Radek et al. | 2018
- 289
-
On positive local combinatorial dividing-lines in model theoryGuingona, Vincent / Hill, Cameron Donnay et al. | 2018
- 325
-
On the non-existence of mad familiesHorowitz, Haim / Shelah, Saharon et al. | 2018
- 339
-
A note on iterated consistency and infinite proofsFreund, Anton et al. | 2018
- 347
-
A note on Gentzen’s ordinal assignmentKanckos, Annika et al. | 2018
- 353
-
On uniformly continuous functions between pseudometric spaces and the Axiom of Countable Choiceda Silva, Samuel G. et al. | 2018
- 359
-
Maehara-style modal nested calculiKuznets, Roman / Straßburger, Lutz et al. | 2018
- 387
-
Degree spectra of real closed fieldsMiller, Russell / Ocasio González, Victor et al. | 2018
- 413
-
Dickson’s lemma and weak Ramsey theoryOmata, Yasuhiko / Pelupessy, Florian et al. | 2018
- 427
-
Diamond, scales and GCH down to $$\aleph _{\omega ^2}$$Du, Jin et al. | 2018
- 427
-
Diamond, scales and GCH down toDu, Jin et al. | 2018
- 443
-
A continuity principle equivalent to the monotone fan theoremKawai, Tatsuji et al. | 2018
- 443
-
A continuity principle equivalent to the monotone $$\Pi ^{0}_{1}$$ fan theoremKawai, Tatsuji et al. | 2018
- 457
-
Conjugacy for homogeneous ordered graphsCoskey, Samuel / Ellis, Paul et al. | 2018
- 469
-
Distinct volume subsets via indiscerniblesGasarch, William / Ulrich, Douglas et al. | 2018
- 485
-
Elementary theories and hereditary undecidability for semilattices of numberingsBazhenov, Nikolay / Mustafa, Manat / Yamaleev, Mars et al. | 2018
- 501
-
Well quasi orders in a categorical settingBenini, Marco / Bonacina, Roberta et al. | 2018