Complete Abstractions and Subclassical Modal Logics
Abstract elided by the publisher.
Related papers
- Roles and Dynamic Subclasses: A Modal Logic Approach ECOOP 1994
- Context logic as modal logic: completeness and parametric inexpressivity POPL 2007
- Constructive Completeness for Modal Logic with Transitive Closure CPP 2012
- Process Logic POPL 1979
- A Modal Logic for Message passing Processes (Extended Abstract) CAV 1993
- An Isabelle/HOL Framework for Synthetic Completeness Proofs CPP 2025
- Control effects as a modality JFP 2009
- Temporal Abstract Interpretation POPL 2000