Modeling and Using Context

DOI10.1007/B137917zbMATH Open1081.68097OpenAlexW4298219604MaRDI QIDQ5713639FDOQ5713639

Authors: Richmond H. Thomason 

Publication date: 15 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b137917

Recommendations

• Dynamic contextual intensional logic: logical foundations and an application
• Contextual intensional logic: type-theoretic and dynamic considerations
• Publication:4941945
• Nonmonotonic consequence based on intuitionistic logic
• Nonmonotonic reasoning based on incomplete logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Cited In (3)

• Dynamic contextual intensional logic: logical foundations and an application
• Title not available (Why is that?)
• Contextual intensional logic: type-theoretic and dynamic considerations

This page was built for publication: Modeling and Using Context

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