|
" Advances in intensional logic "
edited by Maarten de Rijke.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
776519
|
| Doc. No
|
:
|
b596516
|
| Main Entry
|
:
|
edited by Maarten de Rijke.
|
| Title & Author
|
:
|
Advances in intensional logic\ edited by Maarten de Rijke.
|
| Publication Statement
|
:
|
Dordrecht ; London : Springer, 2011
|
| Series Statement
|
:
|
Applied logic series, 7
|
| Page. NO
|
:
|
(1 v).
|
| ISBN
|
:
|
9048148979
|
|
|
:
|
: 9401588791
|
|
|
:
|
: 9789048148974
|
|
|
:
|
: 9789401588799
|
| Contents
|
:
|
Preface. Modal Quantification over Structured Domains; J. van Benthem, N. Alechina. Modal Logic and Model-Theoretic Syntax; P. Blackburn, W. Meyer-Viol. The Functional Interpretation of Modal Necessity; R.J.G.B. de Queiroz, D.M. Gabbay. Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic; V.V. Rybakov. The Logic of Correct Description; J. Seligman. Modal Logics of Arrows; D. Vakarelov. A Full-Circle Theorem for Simple Tense Logic; H. Wansing. Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline; M. Zakharyaschev. The Modal Object Calculus and its Interpretation; E.N. Zalta. Name Index. Subject Index.
|
| Subject
|
:
|
Intention (Logic)
|
| LC Classification
|
:
|
QA9.46E358 2011
|
| Added Entry
|
:
|
Maarten de Rijke
|
| |