Journals and Conferences that author prefers

Journals

1. CoRR (6 paper(s))
2. Journal of Logic, Language and Information (5 paper(s))
3. Journal of Applied Non-Classical Logics (4 paper(s))
4. Studia Logica (4 paper(s))
5. Electr. Notes Theor. Comput. Sci. (3 paper(s))
6. J. Log. Comput. (3 paper(s))
7. Ann. Pure Appl. Logic (2 paper(s))
8. Arch. Math. Log. (1 paper(s))
9. J. Applied Logic (1 paper(s))
10. J. UCS (1 paper(s))
11. Logical Methods in Computer Science (1 paper(s))
12. Notre Dame Journal of Formal Logic (1 paper(s))
13. Theor. Comput. Sci. (1 paper(s))
14. Logic Journal of the IGPL (1 paper(s))

Conferences

1. (10 paper(s))
2. (3 paper(s))
3. Analytic Tableaux and Related Methods (TABLEAUX) (2 paper(s))
4. Relational Methods in Computer Science (RelMiCS) (1 paper(s))
5. Automated Technology for Verification and Analysis (1 paper(s))
6. International Conference on Temporal Logic (1 paper(s))
7. TIME Symposium / Workshop (1 paper(s))
8. Logical Foundations of Computer Science (LFCS) (1 paper(s))