Concepedia
Minerva Endocrinologica · 1989 · 73 citations · 0 references
HumanitiesComputer ScienceFormal MethodsLogicSemanticsFirst-order LogicFormal SemanticsLogic ProgrammingModal LogicModel TheoryPredicate LogicAbstract SemanticsAxiomatic SemanticsDefault LogicModel-theoretic SemanticsStatic Semantics