Axiomatizing first-order consequences in dependence logic
Under an Elsevier user license
open archive
MSC
03C80
03C85
03B15
68P15
Keywords
Dependence logic
Game logic
Independence logic
Independence friendly logic
Natural deduction
Cited by (0)
- 1
Supported by grant 264917 of the Academy of Finland.
- 2
Research partially supported by grant 251557 of the Academy of Finland and by the EUROCORES LogICCC LINT programme.
Copyright © 2013 Elsevier B.V. All rights reserved.