Relating Semantics as Fine-Grained Semantics for Intensional Logics
Tomasz Jarmużek
Topics & Concepts
PropositionSemantics (computer science)Computer scienceFormal semantics (linguistics)Well-founded semanticsProof-theoretic semanticsValuation (finance)Denotational semanticsOperational semanticsProgramming languageLinguisticsPhilosophyFinanceEconomicsLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systems