scientific article
From MaRDI portal
Publication:3376919
zbMath1085.03001MaRDI QIDQ3376919
Publication date: 27 March 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collected or selected works; reprintings or translations of classics (01A75) Temporal logic (03B44)
Related Items (20)
Avoiding omnidoxasticity in logics of belief: A reply to MacPherson ⋮ Question Meaning = Resolution Conditions ⋮ A basic system of congruential-to-monotone bimodal logic and two of its extensions ⋮ A formalisation of violation, error recovery, and enforcement in the bit transmission problem ⋮ Impure Simplicial Complexes: Complete Axiomatization ⋮ A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ Referential opacity and epistemic logic ⋮ Compositional natural language semantics using independence friendly logic or dependence logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ DEL-based epistemic planning: decidability and complexity ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Multi-agent temporal nontransitive linear logics and the admissibility problem ⋮ The modal logic of agreement and noncontingency ⋮ A methodology to develop awareness in computer supported collaborative work using policies ⋮ An internal version of epistemic logic ⋮ On knowing (or believing) that one knows (or believe)
This page was built for publication:
