Login / Signup
On the local consequence of modal Product logic: standard completeness and decidability.
Amanda Vidal
Published in:
CoRR (2023)
Keyphrases
</>
modal logic
decision procedures
classical logic
description logics
databases
neural network
information systems
np complete
query answering
search engine
theorem proving
production planning
automated reasoning
real time
digital circuits
predicate logic
modal operators