Felix Weiss

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: 261-278

Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiss: The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. CoRR abs/1204.1196 (2012)

Martin Mundhenk, Felix Weiss: Intuitionistic implication makes model checking hard. Logical Methods in Computer Science 8(2) (2011)

Martin Mundhenk, Felix Weiß: The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete. STACS 2011: 368-379

Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss: The complexity of satisfiability for fragments of hybrid logic - Part I. J. Applied Logic 8(4): 409-421 (2010)

Martin Mundhenk, Felix Weiß: The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions. RP 2010: 146-160

Martin Mundhenk, Felix Weiss: The Model Checking Problem for Propositional Intuitionistic Logic with One Variable is AC1-Complete. CoRR abs/1012.3828 (2010)

Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss: The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. MFCS 2009: 587-599

Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss: The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I. CoRR abs/0906.1489 (2009)