A Unified Logic for Contingency and Accident.

Published in: J. Philos. Log. (2022)

Keyphrases

predicate logic
modal logic
multi valued
classical logic
computational properties
unified model
information retrieval
expert systems
asynchronous circuits
proof theory
knowledge base
inference rules
formal theory
abductive reasoning
epistemic logic
delay insensitive