Logics of polyhedral reachability.

Nick Bezhanishvili Laura Bussi Vincenzo Ciancia David Fernández-Duque David Gabelaia

Published in: CoRR (2024)

Keyphrases

expressive power
modal logic
transitive closure
state space
inference rules
propositional calculus
knowledge base
convex hull
line drawings
convex optimization
classical logic
proof theory
dual space