Modular non-deterministic semantics for T, TB, S4, S5 and more.

Pawel Pawlowski Elio La Rosa

Published in: J. Log. Comput. (2022)

Keyphrases

information systems
derivation rules
logic programming
neural network
black box
formal semantics
fixpoint semantics
real time
genetic algorithm
metadata
high level
database systems
x ray
transformation rules
proof theory
logical language