An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics.
Dominique Larchey-WendlingPublished in: MFPS (2010)
Keyphrases
- logic programming
- valued logic
- nonmonotonic logics
- epistemic logic
- propositional dynamic logic
- conditional logic
- higher order logic
- proof theory
- logical framework
- computational properties
- inference rules
- simulation model
- expressive power
- proof procedures
- default reasoning
- formal semantics
- temporal logic
- web services