Journal of Logic and Computation

Title Publication Date Language Citations
Preface2007/10/01English
Forthcoming Papers2007/10/01English
Forthcoming Special Issues2007/10/01English
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies2007/12/05English
Genericity and Non-bounding in the Enumeration degrees2007/08/08English
Call for Papers2007/09/04English
Editorial and call for papers2007/11/22English
Synthesizing Monadic Predicates2008/10/01English
Coarse deontic logic2018/04/04English
Undecidable problems for modal definability: Table 1.2016/02/14English
Well-definedness and observational equivalence for inductive–coinductive programs2019/06/06English
OUP accepted manuscript2017/01/01
OUP accepted manuscript2017/01/01
OUP accepted manuscript2017/01/01
OUP accepted manuscript2017/01/01
One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property2016/12/22English
Computing prime implicates by pruning the search space and accelerating subsumption2015/10/16English
Editorial Reasons, argumentation and justification: DEON 2016 special issue2018/03/20English
Special Issue ‘deontic modalities in natural language’—selected and revised papers from the 12th International Conference on Deontic Logic and Normative Systems (DEON 2014)2016/06/08English
Special issue on substructural logic and information dynamics: introduction2016/06/18English
Preface for the special issue of Proof, Structure, and Computation 20142019/06/06English
Categorical comprehensions and recursion2016/06/25English
A sequent calculus for first-order logic formalized in Isabelle/HOL2023/04/28English
Necessary and sufficient conditions of the enforcement problem for various argumentation semantics2024/04/11English
Correction to: Conjunctive degrees and cylinders2024/02/28English
Analyticity with extra-logical information2024/04/04English
A correct-by-construction approach for development of reliable planning problems2024/04/02English
Fuzzy bi-Gödel modal logic and its paraconsistent relatives2024/03/31English
Correction to: Modalities combining two negations2024/04/07English
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations2024/04/01English