scientific article; zbMATH DE number 5046358
From MaRDI portal
Publication:5483004
zbMath1102.03016MaRDI QIDQ5483004
Tero Tulenheimo, Tapani Hyttinen
Publication date: 15 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items (4)
IF modal logic and classical negation ⋮ Independence-friendly logic without Henkin quantification ⋮ Equivalence Criteria for Compositional IF Modal Logics ⋮ Hybrid logic meets IF modal logic
This page was built for publication:
