The following pages link to Journal Of Logic And Computation (Q2983390):
Displaying 50 items.
- Narratives in the Situation Calculus (Q4316293) (← links)
- Actions and Events in Interval Temporal Logic (Q4316294) (← links)
- The Range of Applicability of some Non-monotonic Logics for Strict Inertia (Q4316295) (← links)
- Turning an Action Formalism Into a Planner—a Case Study (Q4316296) (← links)
- State Constraints Revisited (Q4316298) (← links)
- Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change (Q4316299) (← links)
- A Monotonic Formalism for Events and Systems of Events (Q4316300) (← links)
- Knowledge Preconditions for Plans (Q4316301) (← links)
- Action Under Uncertainty (Q4316302) (← links)
- A Unified View of Belief Revision and Update (Q4316303) (← links)
- Modal Logic, Transition Systems and Processes (Q4316304) (← links)
- Domain Theory Meets Default Logic (Q4323001) (← links)
- Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases (Q4323002) (← links)
- On Average Case Complexity of SAT for Symmetric Distribution (Q4323003) (← links)
- Highway to the Danger Zone (Q4323004) (← links)
- Deductive Nonmonotonic Inference Operations: Antitonic Representations (Q4323005) (← links)
- Linear Logic and Exceptions (Q4323006) (← links)
- Extending Temporal Logic Programming with Choice Predicates Non-determinism (Q4323007) (← links)
- Short Conjunctive Normal Forms in Finitely Valued Logics (Q4323008) (← links)
- Some Properties of Linear Logic Proved by Semantic Methods (Q4323009) (← links)
- Process-Algebraic Interpretations of Positive Linear and Relevant Logics (Q4323010) (← links)
- Definability in Rationals with Real Order in the Background (Q4329520) (← links)
- Operators and Laws for Combining Preference Relations (Q4329521) (← links)
- Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems (Q4329522) (← links)
- Mental States Recognition from Communication (Q4329523) (← links)
- Logical Precision in Concept Lattices (Q4329524) (← links)
- A Modal Logic for Coalitional Power in Games (Q4329525) (← links)
- A Foundation for Metareasoning Part I: The Proof Theory (Q4329526) (← links)
- The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications (Q4340417) (← links)
- Mechanizing coinduction and corecursion in higher-order logic (Q4340418) (← links)
- Existential least fixed-point logic and its relatives (Q4340419) (← links)
- Reading between the lines in constructive type theory (Q4340420) (← links)
- Modal deduction in second-order logic and set theory - I (Q4340421) (← links)
- Verification of meta-interpreters (Q4340422) (← links)
- Expressive power and complexity in algebraic logic (Q4344697) (← links)
- Complexity of satisfiability problems with symmetric polynomial clauses (Q4344698) (← links)
- Regular search spaces and constructive negation (Q4344699) (← links)
- Fixed-point logics, generalized quantifiers, and oracles (Q4344700) (← links)
- A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution (Q4351796) (← links)
- SAT-Problems and Reductions with Respect to the Number of Variables (Q4351797) (← links)
- On Gentzen Systems Associated with the Finite Linear MV-algebras (Q4351798) (← links)
- Simulating without Negation (Q4351799) (← links)
- Ground Nonmonotonic Modal Logics (Q4351800) (← links)
- Deterministic and non-deterministic stable models (Q4365319) (← links)
- Functional translation and second-order frame properties of modal logics (Q4365320) (← links)
- Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations (Q4365321) (← links)
- Reasoning about rational, but not logically omniscient, agents (Q4365322) (← links)
- Relations between propositional normal modal logics: an overview (Q4365323) (← links)
- A description of the tableau method using abstract state machines (Q4365324) (← links)
- Labelled propositional modal logics: theory and practice (Q4381865) (← links)
