View Basket

AiML Academia Brasileira de Filosofia Algorithmics Arts Cadernos de Lógica e Computação Cadernos de Lógica e Filosofia Cahiers de Logique et d'Epistemologie Communication, Mind and Language Computing Comptes Rendus de l'Academie Internationale de Philosophie des Sciences Cuadernos de lógica, Epistemología y Lenguaje DEON Dialogues Economics Encyclopaedia of Logic Filosofia Handbooks Historia Logicae IfColog series in Computational Logic IfColog Lecture series IfColog Proceedings Journal of Applied Logics - IfCoLog Journal About Editorial Board Scope of the Journal Submissions Forthcoming papers Journals Landscapes Logics for New-Generation AI Logic and Law Logic and Semiotics Logic PhDs Logic, Methodology and Philosophy of Science The Logica Yearbook Marked States Neural Computing and Artificial Intelligence Philosophy Research The SILFS series Studies in Logic Studies in Talmudic Logic Student Publications Systems Texts in Logic and Reasoning Texts in Mathematics Tributes Other Digital Downloads Information for authors About us Search for Books   Scope of the Journal Scope of the Journal 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. The Journal will also consider papers on the application of logic in other subject areas: philosophy, cognitive science, physics etc. provided they have some mathematical value. Back

© 2005–2024 College Publications / VFH webmaster