Context logic as modal logic: completeness and parametric inexpressivity
No abstract available.
Related papers
- Contextual Modal Type Theory with Polymorphic Contexts ESOP 2023
- Constructive Completeness for Modal Logic with Transitive Closure CPP 2012
- Complete Abstractions and Subclassical Modal Logics VMCAI 2017
- Synthesizing axiomatizations using logic learning OOPSLA 2022
- Contextual modal types for algebraic effects and handlers ICFP 2021
- Process Logic POPL 1979
- Parametric completeness for separation theories POPL 2014
- Later credits: resourceful reasoning for the later modality ICFP 2022