scientific article; zbMATH DE number 1028827

zbMath0875.03036MaRDI QIDQ4342090

Kees Doets, J. F. A. K. van Benthem

Publication date: 8 July 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Related Items

Natural language semantics in biproduct dagger categories ⋮ The variety of consequence, according to Bolzano ⋮ Probabilistic modelling, inference and learning using logical theories ⋮ Henkin and Hybrid Logic ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Probabilistic reasoning in a classical logic ⋮ Normal forms for second-order logic over finite structures, and classification of NP optimization problems ⋮ A formalised theorem in the partition calculus ⋮ Probabilities on sentences in an expressive logic ⋮ Unnamed Item ⋮ R n - and G n -logics ⋮ An efficient method for eliminating varying predicates from a circumscription ⋮ Universal algebra in higher types ⋮ Semantic vector models and functional models for pregroup grammars ⋮ McCarthy variations in a modal key ⋮ The challenge of many logics: a new approach to evaluating the role of ideology in Quinean commitment ⋮ Datalog: Bag Semantics via Set Semantics ⋮ The spectrum problem for abelian \(\ell\)-groups and MV-algebras ⋮ Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation