Tableaux for essence and contingency

DOI10.1093/JIGPAL/JZAA016MaRDI QIDQ5014059zbMATH OpenOpenAlexFDO

Authors Giorgio Venturi, Pedro Teixeira Yago

Publication date 3 December 2021

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzaa016

Mathematics Subject Classification ID

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

Recommendations

• Logics of essence and accident
• A note on logics of essence and accident
• Semantics for the logic of essence
• scientific article; zbMATH DE number 1538059
• The logic of non-contingency

Cited in

(8)

• Actuality, tableaux, and two-dimensional modal logics
• Tableaux for logics of content relationship and set-assignment semantics
• Two-dimensional tableaux
• A note on logics of essence and accident
• Logics of essence and accident
• scientific article; zbMATH DE number 5239380 (Why is no real title available?)
• Insensitive games: game semantics for modal insensitivity
• Nested sequent calculi for some modal logics with non-standard modalities

This page was built for publication: Tableaux for essence and contingency

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