Login / Signup
A denotational semantics for a Lewis-style modal system close to S1
Steffen Lewitzka
Published in:
CoRR (2013)
Keyphrases
</>
denotational semantics
programming language
operational semantics
query language
modal logic
abstract data types
email
object oriented
spatial databases