scientific article; zbMATH DE number 770150

zbMATH Open0844.03014MaRDI QIDQ4837948FDOQ4837948

Ian A. Mason, Saša Buvač, Vanja Buvač

Publication date: 26 August 1996

Title of this publication is not available (Why is that?)

zbMATH Keywords

decidabilityKripke modelsmodal logicmodel-theoretic semanticslogical properties of contextsproblem of generality in artificial intelligence

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cited In (15)

• John McCarthy's legacy
• A modal type theory for formalizing trusted communications
• Dynamical temporal interpretation contexts for temporal abstraction
• Title not available (Why is that?)
• Reasoning about trust and aboutness in the context of communication
• Constructivism and Metamathematics
• A Metasemantic Interpretation of Mamdani Systems
• Hybrid languages
• A decidable multi-modal logic of context
• Bridges from Language to Logic: Concepts, Contexts and Ontologies
• Alfred Tarski: Semantic shift, heuristic shift in metamathematics
• Перспективы метаматематических структур в науке
• Higher-Order Modal Logics: Automation and Applications
• Comparing formal theories of context in AI
• Relevance from an epistemic perspective

This page was built for publication:

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