A second-order relevance logic with modality

DOI10.1007/BF00370437zbMath0406.03028OpenAlexW2091196065MaRDI QIDQ1257469

Charles B. Daniels, James B. Freeman

Publication date: 1979

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370437

zbMATH Keywords

SemanticsS5-ModalitySecond Order Relevance Logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of relevant quantification theories
• The semantics of entailment. II
• Classical second-order intensional logic with maximal propositions
• The pure calculus of entailment
• Propositional quantifiers in modal logic1
• Second‐Order Intensional Logic

This page was built for publication: A second-order relevance logic with modality