Login / Signup
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.
Torben Braüner
Published in:
Stud Logica (2005)
Keyphrases
</>
proof theoretic
proof theory
default reasoning
linear logic
fixpoint
nonmonotonic reasoning
model theoretic
constraint logic programming
deductive databases
artificial intelligence
np hard
logic programming
constraint satisfaction problems
partial order
modal logic