The Journal of Applied Logics – IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free open access, and available via the College Publications website. This Journal is open access, puts no limit on the number of pages of any article, puts no limit on the number of papers in an issue and puts no limit on the number of issues per year. We insist only on a very high academic standard, and will publish issues as they come.
topics of interest
All areas of pure and applied logic, including pure logical systems, proof theory, constructive logic, categorical logic, modal and temporal logic, model theory, recursion theory, type theory, nominal theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, belief revision, dynamic logic, quantum logic, algebraic logic, logic and cognition, probabilistic logic, logic and networks, neuro-logical systems, complexity, argumentation theory, logic and computation, logic and language, logic engineering, knowledge-based systems and automated reasoning, logical issues in knowledge representation, systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems, applications of logic in hardware and VLSI, natural language, concurrent computation, planning, agent theory, and databases.
works as
journal
containing