scientific article; zbMATH DE number 2188308
From MaRDI portal
Publication:5461405
zbMath1066.03512MaRDI QIDQ5461405
Publication date: 26 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Many-valued logic (03B50)
Related Items (6)
Intensionality and context change. Towards a dynamic theory of propositions and properties ⋮ Theorem proving for intensional logic ⋮ The knower paradox in the light of provability interpretations of modal logic ⋮ Property theory and the revision theory of definitions ⋮ AXIOMATIZING SEMANTIC THEORIES OF TRUTH? ⋮ Extending the first-order theory of combinators with self-referential truth
This page was built for publication:
