The following pages link to Journal Of Logic And Computation (Q2983390):
Displaying 50 items.
- Finite Axiomatizations for Universal Domains (Q4013251) (← links)
- Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models (Q4013252) (← links)
- Efficient Temporal Satisfiability (Q4013255) (← links)
- Proof Nets for Lambek Calculus (Q4013256) (← links)
- Modal Theorem Proving: An Equational Viewpoint (Q4018166) (← links)
- Logic Programming with Focusing Proofs in Linear Logic (Q4018167) (← links)
- The Pure Logic of Necessitation (Q4018168) (← links)
- The Arithmetical Hierarchy Over the Reals (Q4018169) (← links)
- Complexity Results for Nonmonotonic Logics (Q4018170) (← links)
- Engineering AgentSpeak(L): a formal computational model (Q4209286) (← links)
- Agents that reason and negotiate by arguing (Q4209287) (← links)
- Decision procedures for BDI logics (Q4209288) (← links)
- Resolution for temporal logics of knowledge (Q4209289) (← links)
- Tableau methods for formal verification of multi-agent distributed systems (Q4209290) (← links)
- Applying the mu-calculus in planning and reasoning about action (Q4209292) (← links)
- Abductive analysis of modular logic programs (Q4209293) (← links)
- Actions speak louder than words: proving bisimilarity for context-free processes (Q4209294) (← links)
- A new method for automated finite model building exploiting failures and symmetries (Q4209295) (← links)
- An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs (Q4209296) (← links)
- Simplification of many-valued logic formulas using anti-links (Q4209297) (← links)
- Intuitionistic propositional logic with only equivalence has no interpolation (Q4209298) (← links)
- A modal extension of logic programming: modularity, beliefs and hypothetical reasoning (Q4221295) (← links)
- New solutions to Novikov's problem for intuitionistic connectives (Q4221296) (← links)
- Saturated formulas in full linear logic (Q4221298) (← links)
- On the decidability of continuous time specification formalisms (Q4221299) (← links)
- Logical specification of reactive and real-time systems (Q4221300) (← links)
- Optimized encodings of fragments of type theory in first-order logic (Q4228072) (← links)
- Update rules in datalog programs (Q4228073) (← links)
- Occurrences and narratives as constraints in the branching structure of the situation calculus (Q4228074) (← links)
- A relevant analysis of natural deduction (Q4228076) (← links)
- Approximating classical theorems (Q4228077) (← links)
- Reasoning about set constraints applied to tractable inference in intuitionistic logic (Q4228078) (← links)
- Programming by combining general logic programs (Q4238481) (← links)
- Agents in proactive environments (Q4238482) (← links)
- A direct proof of the completeness of SLDNF-resolution (Q4238483) (← links)
- Applying labelled deductive systems and multi-agent systems to source-based argumentation (Q4238484) (← links)
- A modal logic for fusing partial belief of multiple reasoners (Q4238486) (← links)
- Coercive subtyping (Q4238487) (← links)
- Augmenting branching temporal logics with existential quantification over atomic propositions (Q4242583) (← links)
- Fibring of logics as a categorial construction (Q4242584) (← links)
- Some probability logics with new types of probability operators (Q4242585) (← links)
- Complexity of products of modal logics (Q4242586) (← links)
- Robust semantics for argumentation frameworks (Q4242588) (← links)
- Optimizing description logic subsumption (Q4260083) (← links)
- Representing and reasoning on XML documents: a description logic approach (Q4260084) (← links)
- Expressive number restrictions in description logics (Q4260085) (← links)
- A description logic with concrete domains and a role-forming predicate operator (Q4260086) (← links)
- A description logic with transitive and inverse roles and role hierarchies (Q4260087) (← links)
- Matching in description logics (Q4260088) (← links)
- Editorial. Special issue on description logics (Q4260089) (← links)
