Temporal theories of reasoning

This publication has 13 references indexed in Scilit:

• Intuitionistic basis for non-monotonic logic
  Published by Springer Nature ,2005
• A temporal model theory for default logic
  Published by Springer Nature ,2005
• Non-Monotonic Logics: A Valuations-Based Approach
  Published by Elsevier ,1992
• Adding a temporal dimension to a logic system
  Journal of Logic, Language and Information, 1992
• Representing Control Knowledge as Abstract Tasks and Metarules
  Published by Springer Nature ,1988
• A functional approach to non‐monotonic logic1
  Computational Intelligence, 1985
• The Logic of Time
  Published by Springer Nature ,1983
• Meta-rules: Reasoning about control
  Artificial Intelligence, 1980
• A logic for default reasoning
  Artificial Intelligence, 1980
• Semantical Analysis of Intuitionistic Logic I
  Published by Elsevier ,1965