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. . (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: ISBN: 9781911371786

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: 15 Sep 2019 00:21

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year