Dynamic contextual intensional logic: logical foundations and an application

DOI10.1007/3-540-44958-2_26MaRDI QIDQ3550861zbMATH OpenOpenAlexFDO

Authors Richmond H. Thomason

Publication date 6 April 2010

Published in Modeling and Using Context (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44958-2_26

Mathematics Subject Classification ID

Logic of natural languages (03B65) Database theory (68P15)

Recommendations

• Contextual intensional logic: type-theoretic and dynamic considerations
• scientific article; zbMATH DE number 1418381
• Modeling and Using Context
• An Introduction to Context Logic
• Dynamic Context Logic

Cited in

(11)

• Possible worlds versioning
• Contexts in dynamic predicate logic
• scientific article; zbMATH DE number 1670913 (Why is no real title available?)
• An Introduction to Context Logic
• scientific article; zbMATH DE number 4128794 (Why is no real title available?)
• scientific article; zbMATH DE number 2014707 (Why is no real title available?)
• scientific article; zbMATH DE number 1418381 (Why is no real title available?)
• Contextual intensional logic: type-theoretic and dynamic considerations
• scientific article; zbMATH DE number 5230436 (Why is no real title available?)
• Modeling and Using Context
• Dynamic doxastic logic: why, how, and where to?

This page was built for publication: Dynamic contextual intensional logic: logical foundations and an application

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