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) - modal logic , modal , computer science , axiom , pspace , accessibility relation , theoretical computer science , model checking , computational complexity theory , algorithm , mathematics , multimodal logic , description logic , chemistry , polymer chemistry , geometry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom