23 citations · 51 across the 7 of their papers we have counts for
5 papers · 1 filter
Are Bundles Good Deals for FOML?
Mo Liu, Anantha Padmanabha, R Ramanujam +1
Bundled products are often offered as good deals to customers. When we bundle quantifiers and modalities together (as in , etc.) in first-order…
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions
Malvin Gattinger, Yanjing Wang
In standard epistemic logic, knowing that p is the same as knowing that p is true, but it does not say anything about understanding p or knowing its meaning. In this paper, we pres…
Bundled fragments of first-order modal logic: (un)decidability
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Quantified modal logic provides a natural logical language for reasoning about modal attitudes even while retaining the richness of quantification for referring to predicates over…
Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)
Jixin Liu, Yanjing Wang, Yifeng Ding
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 applicati…
On expressive power and class invariance
Yanjing Wang, Francien Dechesne
In computer science, various logical languages are defined to analyze properties of systems. One way to pinpoint the essential differences between those logics is to compare their…