A many-sorted variant of Japaridze's polymodal provability logic.

Gerald Berger Lev D. Beklemishev Hans Tompits

Published in: Log. J. IGPL (2018)

Keyphrases

modal logic
asynchronous circuits
epistemic logic
classical logic
logic programming
sound and complete axiomatization
real time
proof theory
automated reasoning
objective function
information systems
data model
computational properties
predicate logic
decision making
learning algorithm
information retrieval