Refutations, Proofs, and Models in the Modal Logic K4.

Tomasz F. Skura

Published in: Stud Logica (2002)

Keyphrases

modal logic
decision procedures
inference rules
theorem prover
probabilistic model
temporal logic
parameter estimation
desirable properties
theorem proving
epistemic logic