The following pages link to Journal Of Logic And Computation (Q2983390):
Displaying 50 items.
- Handling inconsistency in partially preordered ontologies: the Elect method (Q3382825) (← links)
- Reasoning in social settings (Q3383487) (← links)
- Classical term-modal logics (Q3383489) (← links)
- Reasoning about strategic voting in modal logic quickly becomes undecidable (Q3383491) (← links)
- No false grounds and topology of argumentation (Q3383492) (← links)
- Modeling legal conflict resolution based on dynamic logic (Q3383494) (← links)
- Games of influence (Q3383496) (← links)
- Logic of defeasible permission and its dynamics (Q3383497) (← links)
- Monotonic Answer Set Programming (Q3395258) (← links)
- From (Quantified) Boolean Formulae to Answer Set Programming (Q3395260) (← links)
- A Translation-based Approach to the Verification of Modular Equivalence (Q3395261) (← links)
- The Significance of Memory Costs in Answer Set Solver Implementation (Q3395262) (← links)
- OntoDLV: An ASP-based System for Enterprise Ontologies (Q3395265) (← links)
- Efficiently Querying RDF(S) Ontologies with Answer Set Programming (Q3395268) (← links)
- Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures (Q3395270) (← links)
- Axiom Pinpointing in General Tableaux (Q3406682) (← links)
- Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic (Q3406683) (← links)
- Tableaux for Public Announcement Logic (Q3406684) (← links)
- The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation (Q3406685) (← links)
- Model Checking Using Description Logic (Q3406686) (← links)
- Tableaux for Logics of Subinterval Structures over Dense Orderings (Q3406687) (← links)
- Analytic Methods for the Logic of Proofs (Q3406688) (← links)
- Tableaux and Resource Graphs for Separation Logic (Q3406689) (← links)
- Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic (Q3406690) (← links)
- Reduced Implicate Tries with Updates (Q3406691) (← links)
- Bottom-up Construction of Semantic Tableaux (Q3406692) (← links)
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs (Q3406693) (← links)
- A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 (Q3406694) (← links)
- A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4 (Q3406695) (← links)
- Proof Theory for Casari's Comparative Logics (Q3411997) (← links)
- On Weakly Cancellative Fuzzy Logics (Q3411998) (← links)
- On Representing Sentential Connectives of Lesniewski's Elementary Protothetic (Q3411999) (← links)
- A Logic of Probability with Decidable Model Checking (Q3412000) (← links)
- Introduction to Cirquent Calculus and Abstract Resource Semantics (Q3412001) (← links)
- A Syntax-based Approach to Reasoning about Action and Belief Update (Q3430947) (← links)
- Proof Systems for Institutional Logic (Q3430948) (← links)
- Constraint Satisfaction with Countable Homogeneous Templates (Q3430949) (← links)
- Dynamic Logic for Plan Revision in Agent Programming (Q3430950) (← links)
- Definability Over the Class of all Partitions (Q3431961) (← links)
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency (Q3431962) (← links)
- Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA (Q3431963) (← links)
- Classificatory Aspects of Counts-as: An Analysis in Modal Logic (Q3431964) (← links)
- Reference Constructions in the Single-conclusion Proof Logic (Q3431965) (← links)
- A Game Semantics for Grz (Q3431966) (← links)
- On Realization of -modality by Evidence Terms (Q3431968) (← links)
- On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames (Q3431969) (← links)
- Logic of Proofs and Labels with a Complete Set of Operations (Q3431970) (← links)
- An Institution-independent Generalization of Tarski's Elementary Chain Theorem (Q3431971) (← links)
- Tableau-based Decision Procedures for Hybrid Logic (Q3431972) (← links)
- ATL Satisfiability is Indeed EXPTIME-complete (Q3431973) (← links)
