Interpolation in non-classical logics (English)
- New search for: D’Agostino, Giovanna
- New search for: D’Agostino, Giovanna
In:
Synthese
;
164
, 3
; 421-435
;
2008
-
ISSN:
- Article (Journal) / Print
-
Title:Interpolation in non-classical logics
-
Contributors:D’Agostino, Giovanna ( author )
-
Published in:Synthese ; 164, 3 ; 421-435
-
Publisher:
- New search for: Springer Netherlands
- New search for: Springer Science+Business Media
-
Place of publication:Dordrecht [u.a.]
-
Publication date:2008
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 535/3010
- New search for: 08.00
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 164, 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.
- 313
-
Introduction: Interpolations—Essays in honor of William CraigMancosu, Paolo et al. | 2008
- 321
-
Elimination problems in logic: a brief historyCraig, William et al. | 2008
- 333
-
The road to two theorems of logicCraig, William et al. | 2008
- 341
-
Harmonious logic: Craig’s interpolation theorem and its descendantsFeferman, Solomon et al. | 2008
- 359
-
Some remarks on the bearing of model theory on the theory of theoriesDemopoulos, William et al. | 2008
- 385
-
Wissenschaftslogik: The role of logic in the philosophy of scienceFriedman, Michael et al. | 2008
- 401
-
The Craig Interpolation Theorem in abstract model theoryVäänänen, Jouko et al. | 2008
- 421
-
Interpolation in non-classical logicsD’Agostino, Giovanna et al. | 2008
- 437
-
Interpolation in computing science: the semantics of modularizationRenardel de Lavalette, Gerard R. et al. | 2008
- 451
-
The many faces of interpolationvan Benthem, Johan et al. | 2008