publication venue for
- Deontic action logic, atomic boolean algebras and fault-tolerance. 7:441-466. 2009
- The seven virtues of simple type theory. 6:267-286. 2008
Journal of Applied Logic
Journal
- Overview
- Identity
- View All
Overview
has subject area
- 0101 Pure Mathematics (FoR)
- 0802 Computation Theory and Mathematics (FoR)
- 1702 Cognitive Sciences (FoR)
- Computation Theory & Mathematics (Science Metrix)