Typed logics with states

DOI10.1093/JIGPAL/5.5.623MaRDI QIDQ4357320zbMATH OpenOpenAlexFDO

Authors Jan van Eijck

Publication date 1997

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4043a0dad56e6c93396b6ca3dc36fea83acfa069

zbMATH Keywords

type theorydenotational semanticscompositionalitydynamic semanticstyped lambda calculusfull fledged typed dynamic logicregister updatetyped logics with states

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Typed SLD-resolution: dynamic typing for logic programming
• scientific article; zbMATH DE number 3921954
• Dynamic logic with trace semantics
• Dynamic typing: Syntax and proof theory

Cited in

(4)

• scientific article; zbMATH DE number 17814 (Why is no real title available?)
• Type theory and language constructs for objects with states
• scientific article; zbMATH DE number 1822438 (Why is no real title available?)
• Context and the composition of meaning

This page was built for publication: Typed logics with states

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4357320)