13 citations · 46 across the 31 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2013★ 1 cited
Closing a Gap in the Complexity of Refinement Modal Logic
Antonis Achilleos, Michael Lampis
Refinement Modal Logic (RML), which was recently introduced by Bozzelli et al., is an extension of classical modal logic which allows one to reason about a changing model. In this…
cs.LO2009
Parameterized Modal Satisfiability
Antonis Achilleos, Michael Lampis, Valia Mitsou
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl…