On Inclusions Between Quantified Provability Logics.

Taishi Kurahashi

Published in: Stud Logica (2022)

Keyphrases

expressive power
modal logic
inference rules
classical logic
case study
query language
computational properties
real time
nonmonotonic logics
intuitionistic logic
propositional calculus
propositional dynamic logic