scientific article
From MaRDI portal
Publication:3509069
zbMath1146.03009MaRDI QIDQ3509069
Tero Tulenheimo, Merlijn Sevenster
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (5)
Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications ⋮ IF modal logic and classical negation ⋮ Expressivity and Complexity of Dependence Logic ⋮ Equivalence Criteria for Compositional IF Modal Logics ⋮ Hybrid logic meets IF modal logic
This page was built for publication:
