Open AccessFormula Synthesis in Propositional Dynamic Logic with Shuffle
Author(s) -
Sophie Pinchinat,
Sasha Rubin,
François Schwarzentruber
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i9.21227
Subject(s) - undecidable problem , exptime , decidability , mathematics , discrete mathematics , grammar , computer science , zeroth order logic , theoretical computer science , algorithm , pspace , computational complexity theory , description logic , multimodal logic , linguistics , philosophy