On the formal semantics of IF-like logics.
Santiago FigueiraDaniel GorínRafael GrimsonPublished in: J. Comput. Syst. Sci. (2010)
Keyphrases
- formal semantics
- epistemic logic
- expressive power
- first order logic
- inference rules
- logical reasoning
- modal logic
- operational semantics
- er model
- modeling language
- logical language
- modelling language
- speech acts
- formal language
- owl dl ontology
- decision procedures
- computational properties
- theorem prover
- life cycle
- situation calculus
- knowledge base
- databases
- database