Q3574465
type: Item
instance of: scholarly article
zbMATH Open document ID: 1196.68244
author: Stefano Borgo
publication date: 2010-07-09T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68T42
zbMATH DE Number: 5734940
zbMATH Keywords: dynamic action logic
zbMATH Keywords: Henkin quantifiers
MaRDI profile type: Publication
Recommended article: Q4845311
Recommended article: Q4342097
Recommended article: Q4789451
Recommended article: Quantified modal logic
Recommended article: Q3509055
Recommended article: Q4934143
Recommended article: Generalized quantifiers and modal logic
Recommended article: Labelled modal logics: Quantifiers
Recommended article: Modal ontology and generalized quantifiers
Recommended article: Partial semantics for quantified modal logic
description: scientific article