A Characterisation of Some \(\mathbf {Z}\) -Like Logics.
Krystyna Mruczek-NasieniewskaMarek NasieniewskiPublished in: Logica Universalis (2018)
Keyphrases
- expressive power
- modal logic
- propositional calculus
- inference rules
- computational properties
- proof theory
- social networks
- case study
- temporal logic
- classical logic
- knowledge representation formalisms
- coalition logic
- database
- propositional dynamic logic
- nonmonotonic logics
- decision procedures
- genetic algorithm
- information retrieval
- real world