Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)

March 29, 2018 · The Ethereal · 🏛 Logic, Rationality, and Interaction

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Jixin Liu, Yanjing Wang, Yifeng Ding arXiv ID 1803.10953 Category cs.LO: Logic in CS Cross-listed cs.AI, math.LO Citations 3 Venue Logic, Rationality, and Interaction Last Checked 5 months ago
Abstract
Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system K_n lacks Craig Interpolation.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS