A binary modal logic for the intersection types of lambda-calculus.

Silvio Valentini Matteo Viale

Published in: Inf. Comput. (2003)

Keyphrases

modal logic
lambda calculus
temporal logic
inference rules
default logic
nonmonotonic logics
programming language
predicate calculus
situation calculus
prime implicates
dynamic logic
epistemic logic
databases
modal operators
model checking
logic programming
higher order