scientific article; zbMATH DE number 7056226

MaRDI QIDQ5376653

Martin Lück

Publication date: 17 May 2019

Full work available at URL: https://arxiv.org/abs/1709.05253

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

zbMATH Keywords

complexitymodal logicteam semanticssatisfiabilty

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (3)

A parameterized view on the complexity of dependence logic ⋮ On the complexity of linear temporal logic with team semantics ⋮ On the complexity of team logic and its two-variable fragment

Cites Work

• The Succinctness of First-order Logic over Modal Logic via a Formula Size Game

This page was built for publication: