Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
School of Informatics University of Edinburgh Edinburgh, Scotland
1
0
1
9
By overcoming the modal localization limitation, this work simplifies the construction of models in intuitionistic modal logic, paving the way for broader applications in programming languages.