Rosser Orderings in Bimodal Logics.

Alessandra Carbone Franco Montagna

Published in: Math. Log. Q. (1989)

Keyphrases

expressive power
modal logic
inference rules
propositional calculus
multiscale
default logic
classical logic
nonmonotonic logics
real time
knowledge base
clustering algorithm
gaussian mixture
decision procedures