Stefano Bonzio, Francesco Paoli, Michele Pra Baldi, Logics of Variable Inclusion, vol. 59 of Trends in Logic, Springer, 2022, pp. 221+x; ISBN: 978-3-031-04296-6 (Hardcover) 106.99€, ISBN: 978-3-031-04299-7 (eBook) 85.59€.
Nicolò ZamperlinPublished in: Stud Logica (2023)
Keyphrases
- modal logic
- classical logic
- proof theory
- propositional dynamic logic
- propositional calculus
- intuitionistic logic
- nonmonotonic logics
- lecture notes
- horn logic
- proof theoretic
- knowledge representation formalisms
- epistemic logic
- computational properties
- machine intelligence
- expressive power
- logic programming
- valued semantics
- signal processing
- set theory
- higher order logic
- computer science
- coalition logic
- image processing