Login / Signup
On neighbourhood product of some Horn axiomatizable logics.
Andrey Kudinov
Published in:
Log. J. IGPL (2018)
Keyphrases
</>
horn logic
expressive power
np hard
modal logic
neural network
life cycle
propositional dynamic logic
product design
classical logic
database
real time
databases
lower bound
inference rules
propositional logic
production planning