Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof.

Paolo Gentilini

Published in: Stud Logica (1999)

Keyphrases

proof theoretic
linear logic
proof theory
nonmonotonic reasoning
default reasoning
model theoretic
constraint logic programming
fixpoint
modal logic
cut elimination
natural language
logic programs
default logic
belief revision
description logics
data management