Login / Signup

Logical consequence in modal logic. II. Some semantic systems for S4.

John CorcoranGeorge Weaver
Published in: Notre Dame J. Formal Log. (1974)
Keyphrases
  • modal logic
  • temporal logic
  • decision procedures
  • natural language
  • distributed systems
  • inference rules
  • metadata
  • high level
  • multi agent
  • dynamic programming
  • case based reasoning
  • bibliographic retrieval systems