Lewis (1981) Ordering semantics and premise semantics for counterfactuals 보호되어 있는 글입니다. Logic/Counterfactuals 11:00:22
Chrisman (2015) The Meaning of 'Ought.' Chpater 4 Problems with Possible Worlds 보호되어 있는 글입니다. Logic/Deontic Logic 2026.10.16
forall x: An Introduction to Formal Logic (24) Sentences with one quantifier 보호되어 있는 글입니다. Logic/Classical Logic 2026.10.14
forall x: An Introduction to Formal Logic (23) Building blocks of FOL 보호되어 있는 글입니다. Logic/Classical Logic 2026.10.14
Kratzer (2012) Partition and Revision: The Semantics of Counterfactuals 보호되어 있는 글입니다. Logic/Counterfactuals 2026.10.14
forall x: An Introduction to Formal Logic (22) Soundness and completeness 보호되어 있는 글입니다. Logic/Classical Logic 2026.10.13
forall x: An Introduction to Formal Logic (21) Derived rules 보호되어 있는 글입니다. Logic/Classical Logic 2026.10.13