The following pages link to Journal of Logic and Computation (Q2720311):
Displaying 33 items.
- Reviewing the Classical and the de Bruijn Notation for -calculus and Pure Type Systems (Q2752527) (← links)
- Algebraic Specifications, Higher-order Types and Set-theoretic Models (Q2752531) (← links)
- On logical specifications of the Argument Interchange Format (Q2863166) (← links)
- Separating bounded arithmetical theories by Herbrand consistency (Q2893322) (← links)
- A formal semantics for agent (re)organization (Q2939305) (← links)
- Dilemmas and paradoxes: cycles in argumentation frameworks (Q2957942) (← links)
- Layered graph logic as an assertion language for access control policy models (Q2987042) (← links)
- Completeness and termination for a Seligman-style tableau system (Q2987043) (← links)
- Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting (Q3025334) (← links)
- A Database Approach to Distributed State-Space Generation (Q3069997) (← links)
- Argument Revision (Q3133190) (← links)
- Semi-stable semantics (Q3165758) (← links)
- Abstract Interpretation, Logical Relations, and Kan Extensions (Q3348896) (← links)
- Aristotelian Syntax from a Computational–Combinatorial Point of View (Q3371150) (← links)
- Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures (Q3395270) (← links)
- Introduction to Cirquent Calculus and Abstract Resource Semantics (Q3412001) (← links)
- A formalization of argumentation schemes for legal case-based reasoning in ASPIC+ (Q3450203) (← links)
- Recent complexity-theoretic results on P systems with active membranes (Q3465046) (← links)
- Property-based Slicing for Agent Verification (Q3656776) (← links)
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification (Q3985547) (← links)
- Complexity Results for Nonmonotonic Logics (Q4018170) (← links)
- Ground Nonmonotonic Modal Logics (Q4351800) (← links)
- Uniform Lazy Narrowing (Q4461934) (← links)
- Editorial (Q4470430) (← links)
- Learning to act: qualitative learning of deterministic action models (Q4612408) (← links)
- Two-stage agent program verification (Q4612415) (← links)
- Flat modal fixpoint logics with the converse modality (Q4612435) (← links)
- From probabilities to categorical beliefs: Going beyond toy models (Q4612436) (← links)
- On the aggregation of argumentation frameworks: operators and postulates (Q4612454) (← links)
- Prioritized norms in formal argumentation (Q5222686) (← links)
- A temporal dynamic deontic logic (Q5222688) (← links)
- Reasoning about delegation and revocation schemes in answer set programming (Q5406124) (← links)
- Computational logic and the social (Q5739970) (← links)
