The following pages link to Journal Of Logic And Computation (Q2983390):
Displaying 50 items.
- (Q2720311) (redirect page) (← links)
- Uniqueness typing for resource management in message-passing concurrency (Q2937684) (← links)
- What is a model for a semantically linear -calculus? (Q2937685) (← links)
- Labelled calculi of resources (Q2937686) (← links)
- The enriched effect calculus: syntax and semantics (Q2937687) (← links)
- Linear Types and Locality (Q2937688) (← links)
- Restricted normal modal logics and levelled possible worlds semantics (Q2937690) (← links)
- Logics in access control: a conditional approach (Q2937691) (← links)
- Bijective faithful translations among default logics (Q2937692) (← links)
- Model-theoretic characterization of intuitionistic predicate formulas (Q2937693) (← links)
- Translating preferred subtheories into structured argumentation (Q2937694) (← links)
- Strict equilibria interchangeability in multi-player zero-sum games (Q2937695) (← links)
- Uniform Kurtz randomness (Q2937696) (← links)
- A resolution-based calculus for Coalition Logic (Q2937697) (← links)
- Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator (Q2937698) (← links)
- A substructural logic for layered graphs (Q2937700) (← links)
- Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII) (Q2939295) (← links)
- Alternating-time temporal dynamic epistemic logic (Q2939296) (← links)
- Non-monotonic reasoning with normative conflicts in multi-agent deontic logic (Q2939297) (← links)
- On the definability of simulation and bisimulation in epistemic logic (Q2939298) (← links)
- Ontology merging as social choice: judgment aggregation under the open world assumption (Q2939299) (← links)
- Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII) (Q2939300) (← links)
- An equational approach to the merging of argumentation networks (Q2939301) (← links)
- What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems (Q2939302) (← links)
- A logical analysis of responsibility attribution: emotions, individuals and collectives (Q2939304) (← links)
- A formal semantics for agent (re)organization (Q2939305) (← links)
- Dilemmas and paradoxes: cycles in argumentation frameworks (Q2957942) (← links)
- The handling of loops in argumentation networks (Q2957943) (← links)
- Stage semantics and the SCC-recursive schema for argumentation semantics (Q2957944) (← links)
- On the acceptance of loops in argumentation frameworks (Q2957945) (← links)
- Beyond admissibility: accepting cycles in argumentation with game protocols for cogency criteria (Q2957946) (← links)
- Preferred semantics as socratic discussion (Q2957947) (← links)
- The role of self-attacking arguments in characterizations of equivalence notions (Q2957948) (← links)
- RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics (Q2957949) (← links)
- Ideal extensions as logical programming models (Q2957950) (← links)
- Ordering protoalgebraic logics (Q2957951) (← links)
- Conditional interchangeability of Nash equilibria (Q2957953) (← links)
- A complete axiomatization of a temporal logic with obligation and robustness (Q2957954) (← links)
- Multidimensional trees and a Chomsky–Schützenberger–Weir representation theorem for simple context-free tree grammars (Q2957955) (← links)
- Adaptive strategies and finite-conditional premise sets (Q2957956) (← links)
- A new coalgebraic Lindström theorem (Q2957957) (← links)
- Refinements of subatomic natural deduction (Q2957958) (← links)
- Faulty Belnap computers and subsystems of FDE (Q2957959) (← links)
- Equilibria interchangeability in cellular games (Q2957960) (← links)
- Relentful strategic reasoning in alternating-time temporal logic (Q2957961) (← links)
- Fast interpreter for logical reasoning in general game playing (Q2957963) (← links)
- A note on hereditarily Π10- and Σ10-complete sets of sentences (Q2957964) (← links)
- From rational Gödel logic to ultrametric logic (Q2957965) (← links)
- Algebraic semantics for a modal logic close to S1 (Q2957966) (← links)
- Special issue on substructural logic and information dynamics: introduction (Q2957967) (← links)
