Routley Star and Hyperintensionality
Sergei P. Odintsov, Heinrich Wansing
Topics & Concepts
NegationAutoepistemic logicIntermediate logicIntuitionistic logicModal logicDynamic logic (digital electronics)Propositional calculusZeroth-order logicMany-valued logicClassical logicMultimodal logicMathematicsSemantics (computer science)Calculus (dental)Computer scienceAlgebra over a fieldModalDiscrete mathematicsProgramming languageDescription logicPure mathematicsPhysicsPolymer chemistryMedicineDentistryQuantum mechanicsChemistryVoltageTransistorLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systems