Buy Me a Coffee at ko-fi.com

S5

normal modal logic with the additional axioms ◻A→A and ◊A→◻◊A

Pronunciation
/S5/
/S5/
Categories
normal modal logic