1994 · 125 citations · 0 references
HumanitiesComputer SciencePhilosophyFormal MethodsLogicTheory Of ComputationDeontic LogicModal LogicModel CheckingModel TheoryPredicate LogicTemporal LogicAxiomatization Of Deontic LogicDeontic OperatorsMonadic Deontic LogicRule-based SystemsSyntactic Properties Of LogicTemporal Deontic Logic