An Introduction to Context Logic

DOI10.1007/978-3-540-73445-1_14MaRDI QIDQ3612662zbMATH OpenOpenAlexFDO

Authors Philippa Gardner, Uri Zarfaty

Publication date 10 March 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73445-1_14

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70)

Recommendations

• Contextual intensional logic: type-theoretic and dynamic considerations
• Dynamic contextual intensional logic: logical foundations and an application
• Local reasoning about data update
• Context logic and tree update
• scientific article; zbMATH DE number 1418381

Cited in

(12)

• Adjunct elimination in context logic for trees
• Separation logics and modalities: a survey
• Context logic and tree update
• Mathematical logic in knowledge processing. Historical-philosophical reasons for a contextual logic
• Context logic as modal logic, completeness and parametric inexpressivity
• Contexts in dynamic predicate logic
• Adjunct Elimination in Context Logic for Trees
• scientific article; zbMATH DE number 1670913 (Why is no real title available?)
• Context-awareness for information correction and reasoning in evidence theory
• Dynamic contextual intensional logic: logical foundations and an application
• Local reasoning about tree update
• Contextual intensional logic: type-theoretic and dynamic considerations

This page was built for publication: An Introduction to Context Logic

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