KD45 with propositional quantifiers

DOI10.12775/LLP.2023.018MaRDI QIDQ6559161

P. Maurice Dekker

Publication date: 21 June 2024

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

modal logiclogic of beliefspropositional quantifierKripke-semantics, topological semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic with extra quantifiers and operators (03C80)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Undefinability of propositional quantifiers in the modal system S4
• On the logic of belief and propositional quantification
• A Grim semantics for logics of belief
• The decidability of normal K5 logics
• Some Formal Semantics for Epistemic Modesty
• The Exterior Operator and Boundary Operator
• The Derived Set Operator

This page was built for publication: KD45 with propositional quantifiers

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