Q4250037
type: Item
instance of: scholarly article
zbMATH Open document ID: 0923.03019
publication date: 1999-10-28T00:00:00Z
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1303428
zbMATH Keywords: modal logic
zbMATH Keywords: semantics
zbMATH Keywords: decidable sublogics
zbMATH Keywords: first-order quantifiers
zbMATH Keywords: modal operators
zbMATH Keywords: predicate logic
zbMATH Keywords: modalities
zbMATH Keywords: quantification
zbMATH Keywords: undecidability
zbMATH Keywords: polyadic quantifiers
author: Johan van Benthem
MaRDI profile type: Publication
Recommended article: Modal Foundations for Predicate Logic
Recommended article: Q4941999
Recommended article: The predicate modal logic of provability
Recommended article: Modal logic and model theory
Recommended article: Q4817192
Recommended article: Modal logic
Recommended article: Q3128959
Recommended article: Q4532193
Recommended article: Q4395141
Recommended article: Modal logic over finite structures
description: scientific article; zbMATH DE number 1303428