engleski

Towards the normal form theorem for Interpretability logic

We presented various syntactic forms of closed formulas of Interpretability logic, that have simple normal forms, same as those of closed fragment of GL.

normal form ; interpretability logic ; Veltman model

nije evidentirano