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)

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

Abstract

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
URI: https://eprints.mdx.ac.uk/id/eprint/27473

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
38Downloads
174Hits

Additional statistics are available via IRStats2.