Goedel logics: Prenex fragments.

Matthias Baaz Mariami Gamsakhurdia

Published in: CoRR (2024)

Keyphrases

normal form
expressive power
modal logic
inference rules
evolutionary algorithm
real time
propositional calculus
information systems
case study
expert systems
database design
propositional dynamic logic
epistemic logic
classical logic
computer vision
artificial intelligence
databases