A Framework to Compute Inference Rules Valid in Agents' Temporal Logics.

Sergey Babenyshev Vladimir V. Rybakov

Published in: KES (1) (2010)

Keyphrases

inference rules
logical framework
modal logic
temporal logic
model checking
belief revision
multi agent systems
epistemic logic
multi agent
expert systems
satisfiability problem
theorem proving
mazurkiewicz traces
first order logic
theorem prover
linear time temporal logic