A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions

Domenico Cantone Cristiano Longo

Published in: GandALF (2012)

Keyphrases

set theory
guarded fragment
first order logic
expressive power
propositional logic
inference rules
algebraic geometry
transitive closure
knowledge representation
real time
databases