Journal of Philosophical Logic
The editorial board in process of being restructured. The jounal will need extra time to review, thanks for your understanding.
The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical.
Accordingly, the Journal invites papers in all of the traditional areas of philosophical logic, including but not limited to: various versions of modal, temporal, epistemic, and deontic logic; constructive logics; relevance and other sub-classical logics; many-valued logics; logics of conditionals; quantum logic; decision theory, inductive logic, logics of belief change, and formal epistemology; defeasible and nonmonotonic logics; formal philosophy of language; vagueness; and theories of truth and validity.
In addition to publishing papers on philosophical logic in this familiar sense of the term, the Journal also invites papers on extensions of logic to new areas of application, and on the philosophical issues to which these give rise. The Journal places a special emphasis on the applications of philosophical logic in other disciplines, not only in mathematics and the natural sciences but also, for example, in computer science, artificial intelligence, cognitive science, linguistics, jurisprudence, and the social sciences, such as economics, sociology, and political science.
The Journal of Philosophical Logic is currently undergoing editorial reorganization. During this period, we are keeping submissions open, but we want authors to understand that processing of manuscripts may be slower than usual.
Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment)
Aldo Antonelli (June 2017)
Martin L. Jönsson (June 2017)
To view the rest of this content please follow the download PDF link above.