Modal Logic, an Introduction
Melvin Fitting, Richard L. Mendelsohn
Topics & Concepts
IdealizationAbstractionModal logicPhilosophy of languageModalComputer scienceEpistemologyCognitive scienceDynamic logic (digital electronics)Programming languagePhilosophyLinguisticsPsychologyMetaphysicsEngineeringPhysicsMaterials scienceTransistorQuantum mechanicsElectrical engineeringPolymer chemistryVoltageLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systems