Advances in intensional logic

Authors

Publication date 25 February 1998

Published in Applied Logic Series (Search for Journal in Brave)

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80)

Review text

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]

Cited in

(4)

This page was built for publication: Advances in intensional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1379290)