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.

ISBN
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
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	Perkov_Tableau_based_translation_from_FO_logic_to_modal_logic.pdf
Additional information	Perkov, Tin (Author) Serenella Cerrito and Andrei Popescu (Editors)
Language	English
Institution name	TABLEAUX 2019, Middlesex University London

Permalink -

https://repository.mdx.ac.uk/item/886yw

Download files