A warning about the choice of primitive operators in modal logic

DOI10.1007/BF00263357zbMath0266.02016MaRDI QIDQ2562074

David Makinson

Publication date: 1973

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (10)

THE LATTICE OF SUPER-BELNAP LOGICS ⋮ Modal logic for other-world agnostics: Neutrality and Halldén incompleteness ⋮ Replacement in logic ⋮ Homeomorphism and the equivalence of logical systems ⋮ Algebras of intervals and a logic of conditional assertions ⋮ Expressive power and semantic completeness: Boolean connectives in modal logic ⋮ Variations on a theme of Curry ⋮ Explicating logical independence ⋮ Zero-place operations and functional completeness, and the definition of new connectives ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

This page was built for publication: A warning about the choice of primitive operators in modal logic