First-Order-Deontic-Alethic Semantic Profile of RuleML 1.02
From RuleML Wiki
- Identifier: http://ruleml.org/1.02/profiles/fodal
- Syntactic Scope: RuleML 1.02 with modal operators
- Classification: Kripke
- Body: http://reaction.ruleml.org/1.02/profiles/FirstOrderDeonticAlethicLogicProfile.pdf
- Parent: Predefined Semantic Profiles of RuleML 1.02
