Inverse images of box formulas in modal logic

DOI10.1007/S11225-012-9419-6zbMATH Open1309.03008OpenAlexW2075105764MaRDI QIDQ383565FDOQ383565

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

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

zbMATH Keywords

modal logicinverses of modal operators

Mathematics Subject Classification ID

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

Cites Work

• Moorean phenomena in epistemic logic
• The connectives
• Title not available (Why is that?)
• Relative necessity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Collapsing modalities
• A logical analysis of some value concepts
• Self-reference and modal logic
• Hallden-completeness by gluing of Kripke frames
• Inverses for normal modal operators
• The modal logic of agreement and noncontingency
• Should knowledge entail belief?
• A counterexample in tense logic
• New essays on the knowability paradox.
• Title not available (Why is that?)
• The mathematics of language
• Two incomplete anti-realist modal epistemic logics
• Every world can see a Sahlqvist world
• On a side effect of solving Fitch's paradox by typing knowledge
• Modal formulas true at some point in every model
• Title not available (Why is that?)
• Embeddings of propositional monomodal 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)