Symposium: Conference of Modern Logic

1. Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations*
2. On Types over p-adically Closed Fields
3. A Pragmatic Account for the Categorical Exchange between Content and Context*
4. The Interaction of Everyday Discourse and Professional Discourse—A Study of Generalized Argumentation in the Medicalization of Sleep*
5. A Logic for Probabilities of Successive Events*
6. Logics of Non-actual Possible Worlds*