Login / Signup
A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.
Harrie C. M. de Swart
Published in:
J. Symb. Log. (1983)
Keyphrases
</>
decision making
decision makers
theorem proving
decision procedures
proof theory
practical application
classical logic
real world
modal logic
inference rules
sequent calculus
image compression
model checking
expressive power
higher order logic
tableau calculus