On Classical Decidable Logics Extended with Percentage Quantifiers and Arithmetics.

Bartosz Bednarczyk Maja Orlowska Anna Pacanowska Tony Tan

Published in: FSTTCS (2021)

Keyphrases

first order logic
classical first order logic
expressive power
inference rules
horn logic
real time
modal logic
propositional logic
data sets
artificial intelligence
integrity constraints
classical logic
conditional logic
monadic second order logic