Publisher： Cambridge University Press
E-ISSN： 1943-5886|13|1|31-37
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.13, Iss.1, 1948-03, pp. : 31-37
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Modality and quantification in S5
The Journal of Symbolic Logic, Vol. 21, Iss. 1, 1956-03 ,pp. :
Access to resources
Recommend
Algorithmic Modality Analysis for Parabolic Groups
Geometriae Dedicata, Vol. 73, Iss. 3, 1998-12 ,pp. :
MIPC as the formalisation of an intuitionist concept of modality
The Journal of Symbolic Logic, Vol. 31, Iss. 4, 1997-01 ,pp. :
Maximal Parabolic Subgroups in Classical Groups are of Modality Zero
By RÖHRLE G.
Geometriae Dedicata, Vol. 66, Iss. 1, 1997-06 ,pp. :
The elimination theorem when modality is present
The Journal of Symbolic Logic, Vol. 17, Iss. 4, 1952-12 ,pp. :