Inverse images of box formulas in modal logic

DOI10.1007/S11225-012-9419-6MaRDI QIDQ383565zbMATH OpenOpenAlexFDO

Authors Lloyd Humberstone

Publication date 5 December 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9419-6

zbMATH Keywords

modal logicinverses of modal operators

Mathematics Subject Classification ID

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

Recommendations

• Inverses for normal modal operators
• Intricate axioms as interaction axioms
• Some classical modal logics with a necessity/impossibility operator
• scientific article; zbMATH DE number 1975415
• scientific article; zbMATH DE number 2099412

Cites work

• scientific article; zbMATH DE number 6609010 (Why is no real title available?)
• scientific article; zbMATH DE number 4108725 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3771571 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A counterexample in tense logic
• A logical analysis of some value concepts
• Collapsing modalities
• Embeddings of propositional monomodal logics
• Every world can see a Sahlqvist world
• Hallden-completeness by gluing of Kripke frames
• Inverses for normal modal operators
• Modal formulas true at some point in every model
• Moorean phenomena in epistemic logic
• New essays on the knowability paradox.
• On a side effect of solving Fitch's paradox by typing knowledge
• Relative necessity
• Self-reference and modal logic
• Should knowledge entail belief?
• The connectives
• The mathematics of language
• The modal logic of agreement and noncontingency
• Two incomplete anti-realist modal epistemic logics

Cited in

(1)

• Priest on negation

This page was built for publication: Inverse images of box formulas in modal logic

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