Transfers between Logics and their Applications.
Marcelo E. ConiglioWalter Alexandre CarnielliPublished in: Stud Logica (2002)
Keyphrases
- expressive power
- modal logic
- classical logic
- propositional dynamic logic
- inference rules
- case study
- conditional logic
- epistemic logic
- mobile robot
- neural network
- propositional calculus
- data sets
- three dimensional
- information technology
- social networks
- databases
- computational properties
- decision procedures
- intuitionistic logic