Modal frame characterization by way of auxiliary modalities

DOI10.1093/JIGPAL/6.6.875MaRDI QIDQ4222187zbMATH OpenOpenAlexFDO

Authors Andreas Nonnengart

Publication date 6 December 1998

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

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

zbMATH Keywords

characterization by framesconservative extensionsmodal logic

Mathematics Subject Classification ID

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

Recommendations

• Modal characterisation theorems over special classes of frames
• Modal frame correspondences and fixed-points
• scientific article; zbMATH DE number 440120
• A generalization of modal frame definability
• Frame correspondences in modal predicate logic
• scientific article; zbMATH DE number 877745
• Characterizations of modalities and lex modalities
• Modal correspondence theory in the class of all Euclidean frames
• General frames for relevant modal logics
• scientific article; zbMATH DE number 140385

Cited in

(2)

• Modal logic programming revisited
• Strengthening Consistency Results in Modal Logic

This page was built for publication: Modal frame characterization by way of auxiliary modalities

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