Pages that link to "Item:Q691130"
From MaRDI portal
The following pages link to Denumerably many Post-complete normal modal logics with propositional constants (Q691130):
Displaying 4 items.
- A unified semantics for a family of modal logics with propositional constants (Q263107) (← links)
- The power of a propositional constant (Q742479) (← links)
- Post complete and 0-axiomatizable modal logics (Q920977) (← links)
- The decidable normal modal logics are not recursively enumerable (Q1072542) (← links)