The authors define semantic lifting and semantic reflection for the small language SMOL, formalize its operational semantics and type system, and demonstrate it on a geological modelling case study with an open-source implementation.
Halpern, Yoram Moses & Moshe Y
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
This paper compiles and discusses several open problems in the modal logic for gossip protocols that use epistemic formulas.
citing papers explorer
-
Open Problems in a Logic of Gossips
This paper compiles and discusses several open problems in the modal logic for gossip protocols that use epistemic formulas.