Axiomatizing the Logic of Imagination.

Alessandro Giordani

Published in: Stud Logica (2019)

Keyphrases

logic programming
modal logic
predicate logic
artificial intelligence
inference rules
classical logic
set theory
proof theory