A Framework to Compute Inference Rules Valid in Agents’ Temporal Logics

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Our paper suggests a computational framework for verification valid inference in agents’ temporal logics. As a tool, describing human reasoning procedure, we suggest valid inference rules (valid semantically - in Kripke-like frames generating logic). We investigate valid inference rules in agents’ temporal logics with linear and branching intransitive time. Main results of our paper are suggested algorithms which allow to compute valid inference rules in agents’ liner time logics \(\mathcal{LTL}_K\) and \(\mathcal{LTL}_K(Z)\), agents’ logic with branching intransitive time \({\mathcal L}_{TA_i}\), and the logic with branching transitive time \({\mathcal L}_{TA_t}\).