Neighbourhood Semantics for Modal Relevant Logics
Nicholas Ferenz, Andrew Tedder
Topics & Concepts
ModalAccessibility relationNeighbourhood (mathematics)Kripke semanticsNormal modal logicComputer scienceCompleteness (order theory)MathematicsTheoretical computer scienceMultimodal logicDescription logicMathematical analysisPolymer chemistryChemistryLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systems