IF modal logic and classical negation

DOI10.1007/S11225-012-9462-3zbMATH Open1338.03042OpenAlexW2000077669MaRDI QIDQ2016064FDOQ2016064

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

independencemodal logicexpressivityIF logiccomplementationslash logic

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Compositional semantics for a language of imperfect information
• Modal languages and bounded fragments of predicate logic
• Some combinatorics of imperfect information
• Hybrid logics: Characterization, interpolation and complexity
• On branching quantifiers in English
• Hybrid logic meets IF modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• IF-logic and truth-definition
• Negation in the light of modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)

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)