scientific article; zbMATH DE number 6863655
From MaRDI portal
Publication:4636045
zbMath1400.03044MaRDI QIDQ4636045
Publication date: 23 April 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite model propertyquantified modal logicfirst-order modal logiccounting quantifierstwo-dimensional modal logicquasimodeldecidable fragment
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logic with extra quantifiers and operators (03C80)
Related Items (2)
Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ Are bundles good deals for first-order modal logic?
This page was built for publication:
