Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic.

Oskar Fiuk Emanuel Kieronski

Published in: CoRR (2024)

Keyphrases

modal logic
logic programming
multi valued
classical logic
databases
knowledge representation
first order logic
linear logic
sound and complete axiomatization