scientific article; zbMATH DE number 6863858
From MaRDI portal
Publication:4636291
zbMath1385.03037MaRDI QIDQ4636291
François Schwarzentruber, Jan van Eijck
Publication date: 23 April 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
probabilitycomplexity theorydynamic epistemic logiclotteryHennessy-Milner theoremepistemic modal logic
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Bisimulation for conditional modalities ⋮ Parameterized complexity of theory of mind reasoning in dynamic epistemic logic ⋮ Probabilistic logic over equations and domain restrictions ⋮ A computationally grounded logic of graded belief
This page was built for publication:
