Tableau-based translation from first-order logic to modal logic

Perkov, Tin (2019) Tableau-based translation from first-order logic to modal logic. Technical Report. Cerrito, Serenella and Popescu, Andrei, eds. Middlesex University London, London, UK. ISBN 9781911371786. [Monograph] (Published online first)

PDF (Work-in-progress paper presented at TABLEAUX 2019) - Published version (with publisher's formatting)
Download (316kB) | Preview


We define a procedure for translation of a given first-order formula to an equivalent modal formula, if such exists, by using tableau-based bisimulation invariance test. Previously developed tableau procedure tests bisimulation invariance of a given first-order formula, and therefore tests whether that formula is equivalent to the standard translation of some modal formula. Using a closed tableau as the starting point, we show how an equivalent modal formula can be effectively obtained.

Item Type: Monograph (Technical Report)
Additional Information: Perkov, Tin (Author)
Serenella Cerrito and Andrei Popescu (Editors)
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 27473
Useful Links:
Depositing User: Andrei Popescu
Date Deposited: 02 Sep 2019 13:50
Last Modified: 03 Sep 2021 04:30

Actions (login required)

View Item View Item


Activity Overview

Additional statistics are available via IRStats2.