News
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results