Login / Signup

Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity.

Steffen Lewitzka
Published in: Stud Logica (2015)
Keyphrases
  • first order logic
  • denotational semantics
  • propositional logic
  • data mining
  • intelligent systems
  • spatio temporal
  • management system
  • modal logic