Tableau-based translation from first-order logic to modal logic
Technical report
Perkov, T. 2019. Tableau-based translation from first-order logic to modal logic. London, UK Middlesex University London.
Type | Technical report |
---|---|
Title | Tableau-based translation from first-order logic to modal logic |
Authors | Perkov, T. |
Editors | Cerrito, S. and Popescu, A. |
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. |
Research Group | Foundations of Computing group |
ISBN | |
Hardcover | 9781911371786 |
Publisher | Middlesex University London |
Place of publication | London, UK |
Publication dates | |
Online | 03 Sep 2019 |
Publication process dates | |
Deposited | 02 Sep 2019 |
Accepted | 14 Jun 2019 |
Publisher's version | |
Additional information | Perkov, Tin (Author) |
Language | English |
Institution name | TABLEAUX 2019, Middlesex University London |
Permalink -
https://repository.mdx.ac.uk/item/886yw
Download files
33
total views16
total downloads0
views this month0
downloads this month