On the Complexity of Conditional Logics

This publication has 17 references indexed in Scilit:

• On the complexity of propositional knowledge base revision, updates, and counterfactuals
  Artificial Intelligence, 1992
• A guide to completeness and complexity for modal logics of knowledge and belief
  Artificial Intelligence, 1992
• Nonmonotonic reasoning, preferential models and cumulative logics
  Artificial Intelligence, 1990
• The logic of nonmonotonicity
  Artificial Intelligence, 1990
• An approach to default reasoning based on a first-order conditional logic: Revised report
  Artificial Intelligence, 1988
• Counterfactuals
  Artificial Intelligence, 1986
• Knowledge Representation and Reasoning
  Annual Review of Computer Science, 1986
• Alternation
  Journal of the ACM, 1981
• Quick completeness proofs for some logics of conditionals.
  Notre Dame Journal of Formal Logic, 1981
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
  SIAM Journal on Computing, 1977