Felix Weiß

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Top Venues

Advances in Modal Logic

Publications

Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiß
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. Advances in Modal Logic (2012)
Martin Mundhenk, Felix Weiß
The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete. STACS (2011)
Martin Mundhenk, Felix Weiß
The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions. RP (2010)