L. Beklemishev and Y. Gurevich, Propositional primal logic with disjunction, Journal of Logic and Computation, vol.24, issue.1, pp.257-282, 2014.
DOI : 10.1093/logcom/exs018
URL : http://logcom.oxfordjournals.org/cgi/content/short/exs018v1

L. Beklemishev and I. Prokhorov, On computationally efficient subsystems of propositional logic

A. Blass, G. D. Caso, and Y. Gurevich, An Introduction to DKAL, 2012.

C. Cotrini and Y. Gurevich, Basic primal infon logic, Journal of Logic and Computation, vol.26, issue.1, 2013.
DOI : 10.1093/logcom/ext021
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.8677

C. Cotrini and Y. Gurevich, Transitive primal infon logic. The Review of Symbolic Logic, pp.281-304, 2013.

G. Dowek, T. Hardin, and C. Kirchner, Theorem proving modulo, Journal of Automated Reasoning, vol.31, issue.1, pp.33-72, 2003.
DOI : 10.1023/A:1027357912519
URL : https://hal.archives-ouvertes.fr/inria-00077199

Y. Gurevich and I. Neeman, Logic of infons, ACM Transactions on Computational Logic, vol.12, issue.2, pp.1-928, 2011.
DOI : 10.1145/1877714.1877715