Weakly aggregative modal logic: characterization and interpolation

DOI10.1007/978-3-662-60292-8_12MaRDI QIDQ2291234zbMATH OpenOpenAlexFDO

Authors Jixin Liu, Yanjing Wang, Yifeng Ding

Publication date 30 January 2020

Full work available at URL https://arxiv.org/abs/1803.10953, https://philpapers.org/rec/LIUWAM

zbMATH Keywords

bisimulationCraig interpolationvan Benthem-Rosen characterzationweakly aggregative modal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Model theoretical aspects of weakly aggregative modal logic
• Interpolation in weakly transitive modal logics
• A solution to the completeness problem for weakly aggregative modal logic
• Interpolation properties in the extensions of the logic of inequality
• Interpolation and amalgamation; pushing the limits. I

Cited in

(5)

• Hypergraphs, local reasoning, and weakly aggregative modal logic
• Model theoretical aspects of weakly aggregative modal logic
• A Modal Extension of Weak Generalisation Predicate Logic
• Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)
• Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2291234)