Author： Gabbay D.M.
Publisher： Springer Publishing Company
ISSN： 0022-3611
Source： Journal of Philosophical Logic, Vol.31, Iss.3, 2002-06, pp. : 211-243
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
A hypermodality is a connective □ whose meaning depends on where in the formula it occurs. The paper motivates the notion and shows that hypermodal logics are much more expressive than traditional modal logics. In fact we show that logics with very simple K hypermodalities are not complete for any neighbourhood frames.
Related content
Interpretations of intuitionist logic in non-normal modal logics
By Oakes C.
Journal of Philosophical Logic, Vol. 28, Iss. 1, 1999-02 ,pp. :
Access to resources
Recommend
Embedding Modal Nonmonotonic Logics into Default Logic
Studia Logica, Vol. 75, Iss. 3, 2003-12 ,pp. :
Sortal modal logic and counterpart theory
Australasian Journal of Philosophy, Vol. 76, Iss. 4, 1998-12 ,pp. :
By Fitting M. Thalmann L. Voronkov A.
Studia Logica, Vol. 69, Iss. 1, 2001-10 ,pp. :