Pages that link to "Item:Q2562074"
From MaRDI portal
The following pages link to A warning about the choice of primitive operators in modal logic (Q2562074):
Displaying 11 items.
- Algebras of intervals and a logic of conditional assertions (Q704035) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Replacement in logic (Q1947034) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Expressive power and semantic completeness: Boolean connectives in modal logic (Q2276946) (← links)
- Explicating logical independence (Q2301324) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Zero-place operations and functional completeness, and the definition of new connectives (Q3141184) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- Homeomorphism and the equivalence of logical systems (Q5937829) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)