Continuous Markovian Logics - Axiomatization and Quantified Metatheory

Radu Mardare Luca Cardelli Kim G. Larsen

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

multi agent systems
modal logic
situation calculus
conditional logic
genetic algorithm
higher order
expressive power
inference rules
classical logic
search engine
database systems