scientific article; zbMATH DE number 770150
From MaRDI portal
Publication:4837948
zbMath0844.03014MaRDI QIDQ4837948
Ian A. Mason, Saša Buvač, Vanja Buvač
Publication date: 26 August 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicdecidabilityKripke modelsmodel-theoretic semanticslogical properties of contextsproblem of generality in artificial intelligence
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)
Related Items (10)
Hybrid languages ⋮ Dynamical temporal interpretation contexts for temporal abstraction ⋮ Relevance from an epistemic perspective ⋮ Reasoning about trust and aboutness in the context of communication ⋮ A modal type theory for formalizing trusted communications ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ A decidable multi-modal logic of context ⋮ John McCarthy's legacy ⋮ Bridges from Language to Logic: Concepts, Contexts and Ontologies ⋮ Comparing formal theories of context in AI
This page was built for publication:
