Q1344905
type: Item
instance of: scholarly article
title: Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991
zbMATH Open document ID: 0812.00020
published in: Synthese Library
publication date: 1995-02-19T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{van Benthem, Johan}, Beyond accessibility: Functional models for modal logic, 1-18 [Zbl 0824.03006] \textit{Blackburn, Patrick}, Modal logic and attribute value structures, 19-65 [Zbl 0854.03017] \textit{Borghuis, Tijn}, Interpreting modal natural deduction in type theory, 67-102 [Zbl 0828.03006] \textit{Došen, Kosta}, Modal translations in \(\mathbf K\) and \(\mathbf D\), 103-127 [Zbl 0824.03007] \textit{Jaspars, Jan O. M.}, Logical omniscience and inconsistent belief, 129-146 [Zbl 0821.03015] \textit{Jonker, Catholijn}, Cautious backtracking in truth maintenance systems, 147-173 [Zbl 0823.03014] \textit{Kracht, Marcus}, How completeness and correspondence theory got married, 175-214 [Zbl 0829.03010] \textit{Roorda, Dirk}, Dyadic modalities and Lambek calculus, 215-253 [Zbl 0831.03010] \textit{Shehtman, Valentin}, A logic with progressive tenses, 255-285 [Zbl 0862.03011] \textit{Spaan, Edith}, The complexity of propositional tense logics, 287-307 [Zbl 0831.03005] \textit{Thijsse, Elias}, On total awareness logics. With special attention to monotonicity constraints and flexibility, 309-347 [Zbl 0823.03009] \textit{Venema, Yde}, Completeness via completeness: Since and until, 349-358 [Zbl 0821.03011] \textit{Vreeswijk, Gerard}, The feasibility of defeat in defeasible reasoning, 359-380 [Zbl 0820.03015]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
zbMATH DE Number: 724430
zbMATH Keywords: Diamonds
zbMATH Keywords: Defaults
zbMATH Keywords: Intensional logic
zbMATH Keywords: Proceedings
zbMATH Keywords: Seminar
zbMATH Keywords: Amsterdam (Netherlands)
MaRDI profile type: Publication
label: Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991
description: scientific article; zbMATH DE number 724430