Normalisation for Some Infectious Logics and Their Relatives.

Yaroslav I. Petrukhin

Published in: NCL (2022)

Keyphrases

expressive power
modal logic
inference rules
propositional dynamic logic
coalition logic
information systems
nonmonotonic logics
propositional calculus
real world
computer vision
multiscale
logical framework
conditional logic
proof theory
proof procedures