Towards a Logic of Information Exchange - An Inquisitive Witness Semantics.
Ivano CiardelliJeroen GroenendijkFloris RoelofsenPublished in: TbiLLC (2011)
Keyphrases
- information exchange
- logic programming
- proof theory
- sound and complete axiomatization
- sound and complete with respect
- information sharing
- propositional dynamic logic
- nonmonotonic logics
- logical framework
- epistemic logic
- proof theoretic
- model theoretic
- knowledge sharing
- formal semantics
- dynamic logic
- formal language
- derivation rules
- classical logic
- data sharing
- computational properties
- alternating time temporal logic
- active rules
- default reasoning
- operational semantics
- modal logic
- agent teamwork
- modal operators
- conditional logic
- fixed point semantics
- logic programs
- negotiation protocol
- description logics
- real world
- decision making
- object oriented
- data access
- rule engine
- knowledge exchange
- network communication