The following pages link to Journal Of Logic And Computation (Q2983390):
Displaying 50 items.
- Nominal Algebra and the HSP Theorem (Q3623222) (← links)
- Fixpoint and While Temporal Query Languages (Q3623224) (← links)
- Updating Epistemic Logic Programs (Q3623225) (← links)
- Indifferent Sets (Q3623226) (← links)
- Geodesic Revision (Q3632763) (← links)
- Aggregating Judgements by Merging Evidence (Q3632764) (← links)
- Aggregating Partially Ordered Preferences (Q3632765) (← links)
- Non-manipulable Social Welfare Functions when Preferences are Fuzzy (Q3632766) (← links)
- A General Approach to Aggregation Problems (Q3632767) (← links)
- The Logic of Acceptance: Grounding Institutions on Agents' Attitudes (Q3656760) (← links)
- Modelling Judicial Context in Argumentation Frameworks (Q3656761) (← links)
- Sequent Calculi for the Modal -Calculus over S5 (Q3656762) (← links)
- Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents (Q3656763) (← links)
- Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic (Q3656764) (← links)
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices (Q3656765) (← links)
- Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation (Q3656766) (← links)
- On the Density of Truth of Locally Finite Logics (Q3656767) (← links)
- Verification of Games in the Game Description Language (Q3656768) (← links)
- Model-theoretic and Computational Properties of Modal Dependence Logic (Q3656769) (← links)
- An Axiomatic System Suggested by Quantum Computation (Q3656770) (← links)
- On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB (Q3656771) (← links)
- A Logical and Computational Theory of Located Resource (Q3656772) (← links)
- Labelled Tableaux for Distributed Temporal Logic (Q3656773) (← links)
- A Graph-theoretic Account of Logics (Q3656774) (← links)
- On Graph-theoretic Fibring of Logics (Q3656775) (← links)
- Property-based Slicing for Agent Verification (Q3656776) (← links)
- A Complete Deductive System for Probability Logic (Q3656777) (← links)
- Nominal (Universal) Algebra: Equational Logic with Names and Binding (Q3656778) (← links)
- TCTL Model Checking of Time Petri Nets (Q3656779) (← links)
- The Effects of Bounding Syntactic Resources on Presburger LTL (Q3656780) (← links)
- Max-based Prioritized Information Fusion without Commensurability (Q3656781) (← links)
- Bilattices and Modal Operators (Q3971113) (← links)
- Reasoning About Objects Using a Tableau Method (Q3983935) (← links)
- Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus (Q3983936) (← links)
- A Proof-Theoretic Approach to Logic Programming (Q3983937) (← links)
- Semantics-Based Translation Methods for Modal Logics (Q3983938) (← links)
- A Free Variable Version of the First-Order Predicate Calculus (Q3985544) (← links)
- A Modal Logic for Chopping Intervals (Q3985545) (← links)
- Semantics and Consistency of Rule based Expert Systems (Q3985546) (← links)
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification (Q3985547) (← links)
- Some Syntactical Observations on Linear Logic (Q3986870) (← links)
- Compositionality Through an Operational Semantics of Contexts (Q3988057) (← links)
- Kleene's Logic, Generalized (Q3988058) (← links)
- A Complete Axiomatization of the Three valued Completion of Logic Programs (Q3988059) (← links)
- Logic Programming with Strong Negation and Inexact Predicates (Q3988060) (← links)
- Complete Problems Involving Boolean Labelled Structures and Projection Transactions (Q3988061) (← links)
- Using the Universal Modality: Gains and Questions (Q4007156) (← links)
- A Constructive Presentation for the Modal Connective of Necessity (□) (Q4007157) (← links)
- Axiomatic System, Deduction and Implication (Q4007158) (← links)
- Logic and Exceptions: A Few Remarks (Q4013250) (← links)
