The following pages link to C. F. M. Vermeulen (Q1314277):
Displayed 9 items.
- Sequence semantics for dynamic predicate logic (Q1314278) (← links)
- Incremental semantics for propositional texts (Q1344439) (← links)
- Text structure and proof structure (Q1582321) (← links)
- Item:Q1314277 (redirect page) (← links)
- Minimal belief and negation as failure in multi-agent systems (Q1861897) (← links)
- Merging without mystery or: Variables in dynamics semantics (Q1896789) (← links)
- Variables as stacks. A case study in dynamic model theory (Q1973928) (← links)
- (Q4428289) (← links)
- Axiomatization of a Denotational Semantics for First-order Logic (Q4659577) (← links)