A crash course in arrow logic. (English) Zbl 0878.03012
Marx, Maarten (ed.) et al., Arrow logic and multi-modal logic. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 3-34 (1996).
This paper gives a quick and excellent introduction to arrow logic and a nice overview of the field. The basic ideas are sketched, examples are given and the motivation behind arrow logics is given. The connections with algebraic logic are explained and some model theory is developed. Completeness and decidability of arrow logics is discussed. The paper closes with mentioning some promising research lines and open questions. Summarizing, a very good, very readible and informative crash course in arrow logic.
For the entire collection see [Zbl 0859.00018].
For the entire collection see [Zbl 0859.00018].
Reviewer: H.C.M.de Swart (Tilburg)
MSC:
| 03B45 | Modal logic (including the logic of norms) |
| 03-02 | Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations |
| 03C68 | Other classical first-order model theory |
| 03C80 | Logic with extra quantifiers and operators |
