The following pages link to Journal Of Logic And Computation (Q2983390):
Displaying 50 items.
- Logics of Modal Terms for Systems Specification (Q3210907) (← links)
- Relevance and Conjunction (Q3225667) (← links)
- Relevance in Cooperation and Conflict (Q3225668) (← links)
- A Relevance-theoretic Framework for Constructing and Deconstructing Enthymemes (Q3225669) (← links)
- Seventh ASPOCP International Workshop on ‘Answer Set Programming and Other Computing Paradigms’ (Q3304089) (← links)
- Computing secure sets in graphs using answer set programming (Q3304090) (← links)
- Optimum stable model search: algorithms and implementation (Q3304091) (← links)
- Action language ℬ𝒞+ (Q3304092) (← links)
- Declarative encodings of acyclicity properties (Q3304093) (← links)
- The language of epistemic specifications (refined) including a prototype solver (Q3304094) (← links)
- Combining Logic Programming and Equation Solving (Q3348390) (← links)
- Abstract Interpretation, Logical Relations, and Kan Extensions (Q3348896) (← links)
- Modal Logic and Negation as Failure (Q3356290) (← links)
- Temporal Reasoning over Deontic Specifications (Q3356299) (← links)
- Comparing the Expressibility of Languages Formed Using NP-Complete Operators (Q3358723) (← links)
- On the Relationship Between Abduction and Deduction (Q3361915) (← links)
- Completeness and Cut-elimination in the Intuitionistic Theory of Types (Q3371147) (← links)
- de Bruijn Indices for Metaterms (Q3371148) (← links)
- Relating Higher-order and First-order Rewriting (Q3371149) (← links)
- Aristotelian Syntax from a Computational–Combinatorial Point of View (Q3371150) (← links)
- A Decidable Constraint Diagram Reasoning System (Q3371151) (← links)
- Coherence and Flexibility in Dialogue Games for Argumentation (Q3371152) (← links)
- Value-based Argumentation Frameworks as Neural-symbolic Learning Systems (Q3371153) (← links)
- Introducing Justification into Epistemic Logic (Q3371155) (← links)
- Persuasion and Value in Legal Argument (Q3371157) (← links)
- P ≠ NP ∩ co-NP for Infinite Time Turing Machines (Q3374094) (← links)
- Expressing Default Logic Variants in Default Logic (Q3374095) (← links)
- The Foundations of Specification (Q3374096) (← links)
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals (Q3374097) (← links)
- Pivotal and Pivotal-discriminative Consequence Relations (Q3374098) (← links)
- A First-order Theory of Communication and Multi-agent Plans (Q3374099) (← links)
- Logic as a Vector System (Q3374101) (← links)
- A Reduction from DLP to PDL (Q3374102) (← links)
- Ground Nonmonotonic Modal Logic S5: New Results (Q3374103) (← links)
- Intuitionistic multi-agent subatomic natural deduction for belief and knowledge (Q3382806) (← links)
- A forward internal calculus for model generation in <i>S</i>4 (Q3382807) (← links)
- Interpolation for intermediate logics via injective nested sequents (Q3382808) (← links)
- Internal proof calculi for modal logics with separating conjunction (Q3382809) (← links)
- Labelled cyclic proofs for separation logic (Q3382810) (← links)
- Labelled calculi for quantified modal logics with definite descriptions (Q3382811) (← links)
- Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics (Q3382812) (← links)
- A fully labelled proof system for intuitionistic modal logics (Q3382814) (← links)
- A Talmudic norms approach to many-valued logic (Q3382816) (← links)
- ℋ-Colouring Dichotomy in Proof Complexity (Q3382818) (← links)
- Logics of formal inconsistency based on distributive involutive residuated lattices (Q3382819) (← links)
- Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages (Q3382820) (← links)
- Notions of indifference for genericity: Union sets and subsequence sets (Q3382821) (← links)
- An efficient reasoning method on logic programming using partial evaluation in vector spaces (Q3382822) (← links)
- Notes on conjunctive and Quasi degrees (Q3382823) (← links)
- Negation as a modality in a quantified setting (Q3382824) (← links)
