Can States Be Decidable in Inquisitive Mechanizations? | Tadeusz Litak

Описание: Rocqshop 2025 session 4 (27 September 2025)
Can States Be Decidable in Inquisitive Mechanizations?
Max Ole Elliger, Tadeusz Litak*

🪧 Slides: https://icetcs.github.io/frocos-itp-t...

🔗 This talk in the annotated programme: https://icetcs.github.io/frocos-itp-t...
🔗 This session in the annotated programme: https://icetcs.github.io/frocos-itp-t...
🔗 FroCoS/ITP/TABLEAUX 2025: https://icetcs.github.io/frocos-itp-t...
🔗 Rocqshop 2025: https://coq-workshop.gitlab.io/2025/

Title image and end title video by Jacob Neumann (https://jacobneu.com); CC BY-SA 4.0
All other material belongs to the speaker(s)/author(s), except as noted.