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

Sergey Babenyshev, Vladimir V. Rybakov

Browse the full KES paper archive.