-
Introducing Some Classical Elements of Modal Logic to the Propositional Logics of Qualitative Probabilities Dimitar P. Gelev This paper presents the construction of canonical models for a number of logics of qualitative probabilities by introducing a conservative infinitary rule into their a...
-
846. LP-1994-05: Natasha Kurtonina. The Lambek Calculus: Relational Semantics and the Method of LabellingRelational Semantics as it is introduced in [vB88], [vB91], [Bus.86] and [Or89] provides a dynamic interpretation for the Lambek Calculus: valuation of formulae is carried out on pairs of points, which can be treated as informational states. Propositions can be understood as programs of trans...