Weakly aggregative modal logic: characterization and interpolation
type: Item
instance of: scholarly article
title: Weakly aggregative modal logic: characterization and interpolation
DOI: 10.1007/978-3-662-60292-8_12
author: Jixin Liu
author: Yanjing Wang
author: Yifeng Ding
publication date: 2020-01-30T00:00:00Z
full work available at URL: https://arxiv.org/abs/1803.10953
full work available at URL: LIUWAM
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7160608
zbMATH Keywords: weakly aggregative modal logic
zbMATH Keywords: bisimulation
zbMATH Keywords: van Benthem-Rosen characterzation
zbMATH Keywords: Craig interpolation
MaRDI profile type: Publication
OpenAlex ID: W2982503577
description: scientific article; zbMATH DE number 7160608