An Algebraic Approach to Inquisitive and DNA-LOGICS.

Nick Bezhanishvili Gianluca Grilletti Davide Emilio Quadrellaro

Published in: Rev. Symb. Log. (2022)

Keyphrases

expressive power
dna computing
dna sequences
modal logic
inference rules
dna sequencing
biological sequences
sequence analysis
databases
classical logic
gel electrophoresis
propositional dynamic logic
epistemic logic
nonmonotonic logics
relational databases
multi agent
artificial intelligence