17 citations · 35 across the 10 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Cathoristic logic: A modal logic of incompatible propositions
Richard Prideaux Evans, Martin Berger
Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of th…
cs.LO2014★ 4 cited
Program Logics for Homogeneous Generative Run-Time Meta-Programming
Martin Berger, Laurence Tratt
This paper provides the first program logic for homogeneous generative run-time meta-programming---using a variant of MiniML by Davies and Pfenning as its underlying meta-programmi…