Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics.

Balázs Biró Ildikó Sain

Published in: Ann. Pure Appl. Log. (1993)

Keyphrases

expressive power
modal logic
real time
nonmonotonic logics
inference rules
propositional calculus
data sets
computational properties
information systems
knowledge representation
expert systems
classical logic
knowledge base
arithmetic operations
epistemic logic
genetic algorithm
propositional dynamic logic