## HOME## SEARCH## CURRENT ISSUE## REGULAR ISSUES## SPECIAL ISSUES## SURVEY ARTICLES## AUTHORS## ABOUT## Purpose## Open Access## Editorial Board## Executive Board## Advisory Board## Publisher## Assistant Editors## SERVICE## LOGIN## FAQ## SUPPORT## CONTACT |
## Topics of Logical Methods in Computer Science:Algebraic methods Automata and logic Automated deduction Categorical models and logic Coalgebraic methods Coalgebras Computability and logic Computer-aided verification Concurrency theory Constraint programming Cyber-physical systems Database theory Defeasible reasoning Domain theory Emerging topics: Computational systems in biology Emerging topics: Quantum computation and logic Finite model theory Formal languages Formalized mathematics Functional programming and lambda calculus Inductive logic and learning Interactive proof checking Logic and algorithms Logic and complexity Logic and games Logic and probability Logic and verification Logic for knowledge representation Logic programming Logics for knowledge representation and reasoning Logics of programs Modal and temporal logics Program analysis and type checking Program development and specification Proof complexity Proof theory and logic Quantitative modeling Real time and hybrid systems Reasoning about actions and planning Reasoning about programs Security Semantics of programming languages Term rewriting and equational logic Type theory and constructive mathematics |