Advances in intensional logic (Q1379290)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1120794
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Advances in intensional logic |
scientific article; zbMATH DE number 1120794 |
Statements
Advances in intensional logic (English)
0 references
25 February 1998
0 references
The articles of this volume will be reviewed individually. Indexed articles: \textit{van Benthem, Johan; Alechina, Natasha}, Modal quantification over structured domains, 1-27 [Zbl 0953.03023] \textit{Blackburn, Patrick; Meyer-Viol, Wilfried}, Modal logic and model-theoretic syntax, 29-60 [Zbl 0908.03023] \textit{de Queiroz, Ruy J. G. B.; Gabbay, Dov M.}, The functional interpretation of modal necessity, 61-91 [Zbl 0911.03012] \textit{Rybakov, Vladimir V.}, Logics of schemes for first-order theories and poly-modal propositional logic, 93-106 [Zbl 0953.03024] \textit{de Rijke, Maarten}, Preface, ix-xiv [Zbl 0899.03018] \textit{Seligman, Jerry}, The logic of correct description, 107-135 [Zbl 0908.03004] \textit{Vakarelov, Dimiter}, Modal logics of arrows, 137-171 [Zbl 0913.03027] \textit{Wansing, Heinrich}, A full-circle theorem for simple tense logic, 173-193 [Zbl 0919.03017] \textit{Zakharyaschev, Michael}, Canonical formulas for modal and superintuitionistic logics: A short outline, 195-248 [Zbl 0953.03025] \textit{Zalta, Edward N.}, The modal object calculus and its interpretation, 249-279 [Zbl 0908.03025]
0 references
Intensional logic
0 references
Logic
0 references