Bunched Logics Displayed.

James Brotherston

Published in: Stud Logica (2012)

Keyphrases

mobile robot
expressive power
modal logic
inference rules
search algorithm
expert systems
classical logic
proof theory
propositional calculus
database
real world
information technology
epistemic logic