Information System Semantics (A Logic-Based Approach).
Ronald M. LeePublished in: J. Manag. Inf. Syst. (1984)
Keyphrases
- information systems
- logic programming
- proof theory
- sound and complete with respect
- sound and complete axiomatization
- propositional dynamic logic
- nonmonotonic logics
- epistemic logic
- modal operators
- dynamic logic
- proof theoretic
- formal language
- logical framework
- alternating time temporal logic
- computational properties
- formal semantics
- default reasoning
- autoepistemic logic
- rule engine
- higher order logic
- conditional logic
- model theoretic
- operational semantics
- logic programs
- modal logic
- automated reasoning
- logical rules
- active rules
- classical logic
- multi valued
- intuitionistic logic
- proof procedures
- defeasible logic
- valued semantics
- rewrite systems
- default logic
- declarative semantics
- predicate logic
- inference rules
- abstract argumentation frameworks
- user satisfaction
- nonmonotonic reasoning
- linear logic
- argumentation frameworks
- predicate calculus
- model checking
- information technology