IF modal logic and classical negation

DOI10.1007/S11225-012-9462-3MaRDI QIDQ2016064zbMATH OpenOpenAlexFDO

Authors Tero Tulenheimo

Publication date 19 June 2014

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9462-3

zbMATH Keywords

complementationexpressivityIF logicindependencemodal logicslash logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 5734948
• scientific article; zbMATH DE number 2196604
• Simulating without Negation
• On the expressive power of IF-logic with classical negation

Cites work

• Compositional semantics for a language of imperfect information
• Decidability of IF modal logic of perfect recall
• Dependence logic. A new approach to independence friendly logic
• scientific article; zbMATH DE number 5295726 (Why is no real title available?)
• scientific article; zbMATH DE number 5734943 (Why is no real title available?)
• scientific article; zbMATH DE number 5734948 (Why is no real title available?)
• scientific article; zbMATH DE number 1254648 (Why is no real title available?)
• scientific article; zbMATH DE number 1028824 (Why is no real title available?)
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• scientific article; zbMATH DE number 1860675 (Why is no real title available?)
• scientific article; zbMATH DE number 2196604 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• Hybrid logic meets IF modal logic
• Hybrid logics: Characterization, interpolation and complexity
• Independence-friendly logic. A game-theoretic approach
• Modal languages and bounded fragments of predicate logic
• Modal logic
• On branching quantifiers in English
• Some combinatorics of imperfect information

Cited in

(8)

• Hybrid logic meets IF modal logic
• IF-logic and truth-definition
• Negation in the light of modal logic
• On the expressive power of IF-logic with classical negation
• scientific article; zbMATH DE number 5295726 (Why is no real title available?)
• scientific article; zbMATH DE number 6960287 (Why is no real title available?)
• Equivalence criteria for compositional IF modal logics
• scientific article; zbMATH DE number 2196604 (Why is no real title available?)

This page was built for publication: IF modal logic and classical negation

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