Sahlqvist completeness theory for hybrid logic with downarrow binder.

Published in: Log. J. IGPL (2024)

Keyphrases

formal theory
commonsense reasoning
probability theory
proof theory
computer algebra
automated reasoning
set theory
asynchronous circuits
real time
machine learning
decision making
expert systems
logic programming
classical logic