FPL may be equivalent to FO but not equivalent to PFP

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Given a class of finite models we would like to expand each model (allowing new elements but the old universe is a separate sort), making the expressive power of LFP (least fix point logic) and PFP (inductive logic) similar while not changing the expressive power of FO (first order logic). This continues in math.LO/9411235.

Keywords

Logic

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/70819

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0404205
 http://arxiv.org/abs/math/0404205

Collections

arXiv