ON INTUITIONISTIC MODAL EPISTEMIC LOGIC

Eitemau Tebyg

• 2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
  gan: Williamson, T
  Cyhoeddwyd: (1990)
• Multi-succedent sequent calculus for intuitionistic epistemic logic
  gan: Romas Alonderis
  Cyhoeddwyd: (2024-12-01)
• Proof methods for modal and intuitionistic logics /
  gan: Fitting, Melvin, 1942-
  Cyhoeddwyd: (1983)
• On Combining Intuitionistic and S4 Modal Logic
  gan: João Rasga, et al.
  Cyhoeddwyd: (2024-06-01)
• A Modal Logic of Epistemic Games
  gan: François Schwarzentruber, et al.
  Cyhoeddwyd: (2010-11-01)