Countably many sublogics of the interpretability logic IL having fixed point properties.

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

Keyphrases

fixed point
initial conditions
linear logic
sufficient conditions
dynamical systems
desirable properties
floating point
bargaining solution
three dimensional
object recognition
markov chain
default logic