## A Manual of Intensional Logic |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

actual alternative antecedent aO<p argument arises axiomatized basic becomes Benthem Classical Logic clause conception conditional constraints corresponding counterfactual Cxyz Dahlia Dalida data semantics denotation deontic logic determiners DEXY earlier epistemic epistemic logic equivalent example explications extended finite formalism hence Henkin models hierarchy Humberstone idea ifwAB implies inference intensional logic interest intuitionistic logic intuitions irreflexive Kamp latter linguistic maximal chain McKinsey Axiom minimal modal logic modal notation monotonicity natural language necessarily necessity notion Oa<p obvious operators paradigm partial model partial order pattern perspective Philosophical Logic possible worlds semantics predicate logic premises present principle proof proposition letters provability logic provable questions reading reasonable relation Section seems semantic picture sense Situation Semantics statements strong consequence structure subsets syntactic technical temporal tense logic tense-logical Theorem theory tion total models traditional transitive true truth definition truth value University valid valuations various Veltman views of modality