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 , zeroth order logic , mathematics , discrete mathematics , grammar , computer science , theoretical computer science , algorithm , pspace , computational complexity theory , description logic , multimodal logic , linguistics , philosophy
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