An Axiomatic System for Concessive Conditionals.

Eric Raidl Andrea Iacona Vincenzo Crupi

Published in: Stud Logica (2024)

Keyphrases

belief revision
conditional logic
modal logic
artificial intelligence
default rules
nonmonotonic inference
databases
prior knowledge
knn
machine learning
dynamic programming
state space
sufficient conditions
proof theoretic