A focused framework for emulating modal proof systems.

Sonia Marin Dale Miller Marco Volpe

Published in: Advances in Modal Logic (2016)

Keyphrases

probabilistic model
main contribution
data mining
theoretical framework
databases
real world
multiscale
mobile devices
distributed systems
knowledge based systems
computational model
theorem proving