Login / Signup
Metric propositional neighborhood logics on natural numbers.
Davide Bresolin
Dario Della Monica
Valentin Goranko
Angelo Montanari
Guido Sciavicco
Published in:
Softw. Syst. Model. (2013)
Keyphrases
</>
expressive power
first order logic
default logic
propositional logic
modal logic
neighborhood structure
metric space
linearly ordered
real world
theorem proving
coalition logic
evaluation metrics
inference rules
metric learning
propositional variables