邏輯學研究
Symposium: Conference of Modern Logic
- Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations*
- On Types over p-adically Closed Fields
- A Pragmatic Account for the Categorical Exchange between Content and Context*
- The Interaction of Everyday Discourse and Professional Discourse—A Study of Generalized Argumentation in the Medicalization of Sleep*
- A Logic for Probabilities of Successive Events*
- Logics of Non-actual Possible Worlds*