A content semantics for quantified relevant logics. II.
Ross T. BradyPublished in: Stud Logica (1989)
Keyphrases
- propositional dynamic logic
- semantic information
- conditional logic
- proof theory
- nonmonotonic logics
- relevant content
- intended meaning
- epistemic logic
- metadata
- web documents
- semantically relevant
- multimedia
- dynamic logic
- expressive power
- user context
- information retrieval
- semantic structure
- computational properties
- operational semantics
- web content
- proof theoretic
- valued semantics