11 citations · 19 across the 12 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 11 cited
Formula size games for modal logic and -calculus
Lauri Hella, Miikka Vilander
We propose a new version of formula size game for modal logic. The game characterizes the equivalence of pointed Kripke-models up to formulas of given numbers of modal operators an…
cs.LO2019★ 2 cited
On the Succinctness of Atoms of Dependency
Martin Lück, Miikka Vilander
Propositional team logic is the propositional analog to first-order team logic. Non-classical atoms of dependence, independence, inclusion, exclusion and anonymity can be expressed…