Labelled transition logic: an outline.

Egidio Astesiano Gianna Reggio

Published in: Acta Informatica (2001)

Keyphrases

proof theory
nonmonotonic logics
artificial intelligence
real time
social networks
computer vision
multiscale
modal logic
defeasible logic
set theory
dynamic logic
delay insensitive
deductive reasoning