Weakly aggregative modal logic: characterization and interpolation

DOI10.1007/978-3-662-60292-8_12OpenAlexW2982503577MaRDI QIDQ2291234

Jixin Liu, Yanjing Wang, Yifeng Ding

Publication date: 30 January 2020

Full work available at URL: https://arxiv.org/abs/1803.10953

zbMATH Keywords

bisimulationCraig interpolationweakly aggregative modal logicvan Benthem-Rosen characterzation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Hypergraphs, local reasoning, and weakly aggregative modal logic ⋮ Model theoretical aspects of weakly aggregative modal logic

This page was built for publication: Weakly aggregative modal logic: characterization and interpolation