Some descending chains of incomplete modal logics (Q1177647)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some descending chains of incomplete modal logics |
scientific article |
Statements
Some descending chains of incomplete modal logics (English)
0 references
26 June 1992
0 references
An incomplete normal propositional modal logic is a logic not characterized by any class of frames and so, a fortiori, not characterized by the class of all its frames. It is known that there exist infinite classes of incomplete logics where all members of the class have exactly the same frames, though up to now few axiomatic descriptions of such classes have existed. This paper presents some descending chains of incomplete logics where each logic in the chain has exactly the same frames as the one below it.
0 references
propositional modal logic
0 references
incomplete logics
0 references
frames
0 references