Dependently Sorted Logic.

João Filipe Belo

Published in: TYPES (2007)

Keyphrases

modal logic
logic programming
classical logic
multi agent
automated reasoning
multi valued
computational properties
epistemic logic
linear temporal logic
temporal logic
defeasible logic
proof theory
delay insensitive