Login / Signup
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics.
Bartosz Bednarczyk
Maja Orlowska
Anna Pacanowska
Tony Tan
Published in:
CoRR (2021)
Keyphrases
</>
first order logic
expressive power
classical first order logic
inference rules
databases
theorem proving
monadic second order logic
knowledge representation
genetic algorithm
proof theory