About the Journal

Aims and Scope. Journal of Logic and Computation Methods provides a focused venue for research on propositional and predicate reasoning, satisfiability, proof systems, model checking foundations, logic-based computation. The journal prioritizes technically substantive, internationally relevant work in which the principal novelty lies inside the stated computing scope rather than only in the application domain.

Core topics in scope include:

• propositional and predicate reasoning
• satisfiability
• proof systems
• model checking foundations
• logic-based computation
• computational logic
• formal reasoning
• discrete logic
• automated methods

Evidence and methodological expectations. Algorithmic claims should be supported by correctness arguments, complexity analysis or provable properties where applicable, and empirical benchmarks against competitive baselines on representative instances. New heuristics must include sensitivity, scalability, and failure-case analysis.

Normally outside scope. Routine application of standard algorithms, parameter tuning without algorithmic insight, and optimization studies lacking complexity, convergence, approximation, or rigorous benchmark evidence are normally outside scope.

Research integrity and reproducibility. Authors should disclose datasets, software, model or system configurations, experimental protocols, statistical procedures, ethical approvals where applicable, competing interests, funding, and any material use of generative AI. Data and code should be shared when legally and ethically possible, or the restriction must be explained.