Barwise Completeness Theorems for Some Biprobability Logics.
Miodrag RaskovicRade T. ZivaljevicPublished in: Math. Log. Q. (1986)
Keyphrases
- information flow
- expressive power
- modal logic
- order sorted
- inference rules
- sequent calculus
- communication networks
- data quality
- social networks
- classical logic
- information security
- supply chain
- case study
- data sets
- information systems
- computational properties
- conditional logic
- neural network
- propositional calculus
- propositional dynamic logic
- coalition logic
- horn logic
- databases