scientific article; zbMATH DE number 5046358

zbMATH Open1102.03016MaRDI QIDQ5483004FDOQ5483004

Tero Tulenheimo, Tapani Hyttinen

Publication date: 15 August 2006

Title of this publication is not available (Why is that?)

zbMATH Keywords

satisfiabilityvalidity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Cited In (4)

• IF modal logic and classical negation
• Independence-friendly logic without Henkin quantification
• Hybrid logic meets IF modal logic
• Equivalence Criteria for Compositional IF Modal Logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5483004)