Kairos asks for submission in both .pdf and Word format. I do not use Windows and find it difficult to insert logical and mathematical symbols using LibreOffice.
Other options include Philosophiegeschichte und logische Analyse; Journal of Logic, Language and Information; Logica Universalis; Review of Symbolic Logic; or Notre Dame Journal of Formal Logic—although the last would be aiming rather high.