Substructural Propositional Dynamic Logics.

Published in: WoLLIC (2019)

Keyphrases

propositional calculus
dynamic environments
expressive power
default logic
data sets
neural network
first order logic
propositional logic
search algorithm
modal logic
classical logic