A Sketch of a Proof-Theoretic Semantics for Necessity.

Published in: CoRR (2021)

Keyphrases

proof theoretic
model theoretic
proof theory
nonmonotonic reasoning
default reasoning
linear logic

constraint logic programming
fixpoint
description logics
logic programs
deductive databases

logic programming
cut elimination
reasoning problems
artificial intelligence
operational semantics

probabilistic reasoning
multi attribute
expert systems
belief revision
bayesian networks