Simple probabilistic semantics for propositional K, T, B, S4, and S5

zbMath0512.03011MaRDI QIDQ1839244

Charles G. Morgan

Publication date: 1982

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

soundnessBTstrong completenesstautologiesS4S5Kconditional probability functionsmaximally consistent extensions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48)

Related Items (1)

From worlds to probabilities: A probabilistic semantics for modal logic

This page was built for publication: Simple probabilistic semantics for propositional K, T, B, S4, and S5