The following pages link to Journal Of Logic And Computation (Q2983390):
Displaying 50 items.
- Modal tableaux based on residuation (Q4381866) (← links)
- Unification through projectivity (Q4381867) (← links)
- Finite failure is and-compositional (Q4381868) (← links)
- A first-order conditional logic with qualitative statistical semantics (Q4381869) (← links)
- On the indiscernibility of individuals in logic programming (Q4381870) (← links)
- A module system for a programming language based on the LF logical framework (Q4399511) (← links)
- lean TAP revisited (Q4399512) (← links)
- Constructive Z (Q4399513) (← links)
- Enhancing fixed point logic with cardinality quantifiers (Q4399514) (← links)
- Updates and counterfactuals (Q4399515) (← links)
- Adding the everywhere operator to propositional logic (Q4399516) (← links)
- Computation of prime implicants using matrix and paths (Q4399714) (← links)
- Preferential orders and plausibility measures (Q4399715) (← links)
- A note on SLDNF-resolution (Q4399716) (← links)
- Extensions for open default theories via the domain closure assumption (Q4399717) (← links)
- Subclasses of binary NP (Q4399718) (← links)
- Uniform provability in classical logic (Q4399719) (← links)
- Editorial (Q4405674) (← links)
- Controlled Revision - An algorithmic approach for belief revision (Q4405675) (← links)
- Controlled Revision - An Algorithmic Approach for Belief Revision (Q4405676) (← links)
- Ten Philosophical Problems in Belief Revision (Q4405677) (← links)
- When Maximizing Entropy gives the Rational Closure (Q4405679) (← links)
- Structured Clusters: A Framework to Reason with Contradictory Interests (Q4405680) (← links)
- Credibility-limited Functions for Belief Bases (Q4405683) (← links)
- Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence (Q4405684) (← links)
- Representation and Human Reasoning (Q4405685) (← links)
- Algebraic Semantics for Paraconsistent Nelson's Logic (Q4434609) (← links)
- Fuzzy Logics with Noncommutative Conjuctions (Q4434610) (← links)
- A Note on Absolutely Unorderable Combinatory Algebras (Q4434611) (← links)
- Fixed-point Logics with Nondeterministic Choice (Q4434612) (← links)
- Hoops and Fuzzy Logic (Q4434613) (← links)
- Reducing Preferential Paraconsistent Reasoning to Classical Entailment (Q4434614) (← links)
- A Complete Axiomatization for Blocks World (Q4434615) (← links)
- Fibring Logics with Topos Semantics (Q4434616) (← links)
- A Linear Spine Calculus (Q4444935) (← links)
- Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation (Q4444936) (← links)
- Semantic Labelled Tableaux for Propositional BI (Q4444937) (← links)
- A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP (Q4444938) (← links)
- Proof Nets for Classical Logic (Q4444939) (← links)
- DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions (Q4444964) (← links)
- Properties and Complexity of Some Formal Inter-agent Dialogues (Q4444965) (← links)
- On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks (Q4444966) (← links)
- Collective Argumentation and Disjunctive Logic Programming (Q4444967) (← links)
- Persuasion in Practical Argument Using Value-based Argumentation Frameworks (Q4444968) (← links)
- On Non-local Propositional and Weak Monodic Quantified CTL* (Q4461349) (← links)
- Handling Expiration of Multigranular Temporal Objects (Q4461351) (← links)
- Representing and Reasoning about Temporal Granularities (Q4461352) (← links)
- A Finite-state Approach to Events in Natural Language Semantics (Q4461353) (← links)
- A Local Search Approach to Modelling and Solving Interval Algebra Problems (Q4461354) (← links)
- On the Turing Degrees of Weakly Computable Real Numbers (Q4461928) (← links)
