TY - JOUR
T1 - The logic of non-contingency
AU - Humberstone, I. L.
PY - 1995/1/1
Y1 - 1995/1/1
N2 - We consider the modal logic of non-contingency in a general setting, without making special assumptions about the accessibility relation. The basic logic in this setting is axiomatized, and some of its extensions are discussed, with special attention to the expressive weakness of the language whose sole modal primitive is non-contingency (or equivalently, contingency), by comparison with the usual language based on necessity (or equivalently, possibility).
AB - We consider the modal logic of non-contingency in a general setting, without making special assumptions about the accessibility relation. The basic logic in this setting is axiomatized, and some of its extensions are discussed, with special attention to the expressive weakness of the language whose sole modal primitive is non-contingency (or equivalently, contingency), by comparison with the usual language based on necessity (or equivalently, possibility).
UR - http://www.scopus.com/inward/record.url?scp=84972506623&partnerID=8YFLogxK
U2 - 10.1305/ndjfl/1040248455
DO - 10.1305/ndjfl/1040248455
M3 - Article
AN - SCOPUS:84972506623
VL - 36
SP - 214
EP - 229
JO - Notre Dame Journal of Formal Logic
JF - Notre Dame Journal of Formal Logic
SN - 0029-4527
IS - 2
ER -