scientific article

zbMath1270.03042MaRDI QIDQ2844045

Wiebe van der Hoek, Alessio Lomuscio

Publication date: 27 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105826064

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (25)

Practical verification of multi-agent systems against \textsc{Slk} specifications ⋮ A unified logic for contingency and accident ⋮ Neighborhood Contingency Logic ⋮ Propositional quantification in logics of contingency ⋮ The logic of secrets and the interpolation rule ⋮ A working hypothesis for the logic of radical ignorance ⋮ The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames ⋮ A logical modeling of severe ignorance ⋮ Revising the elenchus via belief revision ⋮ Axiomatizing Rumsfeld ignorance ⋮ We don't know we don't know: asserting ignorance ⋮ A logic for factive ignorance ⋮ Free choice in modal inquisitive logic ⋮ Levels of modality for BDI logic ⋮ A DDL approach to pluralistic ignorance and collective belief ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Reasoning about ignorance and beliefs ⋮ Symmetric contingency logic with unlimitedly many modalities ⋮ Bimodal logic with contingency and accident: bisimulation and axiomatizations ⋮ A family of neighborhood contingency logics ⋮ A logic for disjunctive ignorance ⋮ Neighbourhood Contingency Bisimulation ⋮ A modal logic of supervenience ⋮ Two variants of noncontingency operator ⋮ Strong noncontingency: on the modal logics of an operator expressively weaker than necessity

This page was built for publication: