Roles and Dynamic Subclasses: A Modal Logic Approach
No abstract available.
Related papers
- Complete Abstractions and Subclassical Modal Logics VMCAI 2017
- Later credits: resourceful reasoning for the later modality ICFP 2022
- Lilac: A Modal Separation Logic for Conditional Probability PLDI 2023
- Positive Arithmetic Without Exchange Is a Subclassical Logic APLAS 2007
- Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach ECOOP 1992
- Context logic as modal logic: completeness and parametric inexpressivity POPL 2007
- Classical Natural Deduction for S4 Modal Logic APLAS 2009
- Constructive Completeness for Modal Logic with Transitive Closure CPP 2012