Concepedia
The Philosophical Review · 1986 · 77 citations · 0 references
HumanitiesPhilosophyFormal MethodsKnowledge RepresentationLogicAspect AnalysisAspect SemanticsAspectual SemanticsModel TheoryPhilosophy Of LogicPredicate LogicAspect-oriented ModelingAspectual OperatorsAxiomatic Semantics