Open AccessA SAT-Based Approach For PSPACE Modal Logics
Author(s) -
Jean-Marie Lagniez,
Daniel Le Berre,
Tiago de Lima,
Valentin Montmirail
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - pspace , modal logic , computer science , modal , normal modal logic , theoretical computer science , programming language , algorithm , computational complexity theory , multimodal logic , description logic , chemistry , polymer chemistry