(Un)Decidability for History Preserving True Concurrent Logics.

Paolo Baldan Alberto Carraro Tommaso Padoan

Published in: MFCS (2021)

Keyphrases

decision procedures
expressive power
modal logic
description logics
computational properties
neural network
search engine
query answering
concurrent execution
natural language
conjunctive queries
inference rules
propositional logic
conditional logic
image details