Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel.

Paolo Gentilini

Published in: Stud Logica (1999)

Keyphrases

proof theoretic
linear logic
proof theory
constraint logic programming
model theoretic
default reasoning
nonmonotonic reasoning
modal logic
fixpoint
cut elimination
sequent calculus
natural language
default logic
multi agent
inference rules
constraint satisfaction
hidden markov models