A Propositional Dynamic Logic for Instantial Neighborhood Models.

Johan van Benthem Nick Bezhanishvili Sebastian Enqvist

Published in: LORI (2017)

Keyphrases

data sets
model selection
propositional dynamic logic
databases
search engine
high level
multi agent systems
prior knowledge
probabilistic model
statistical methods
neural network model
mathematical models