People
Artemov, Sergei, Beklemishev, Lev, Boolos, George, Dosen, Kosta, Guglielmi, Alessio, Japaridze, Giorgi, Muravitsky, Alexei, Van Benthem, Johan, Verbrugge, Rineke, Zambella, Domenico
Provability and Interpretability Logics
Cointerpretability, Cotolerance, Giorgi Japaridze's Publications, Interpretability, Interpretability Logic, Interpretability Logic, Provability Logic, Provability Logic, Tolerance
Computational Tools for Modal Logic
Resources collected by Renate Schmidt.
Mally's Deontic Logic
Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.
Modal epistemic logic
An extensive overview of the subject.
Modal Logic
A discussion of modal logic by John McCarthy.
Modal Logic
Originally the study of deductive behavior of the expressions `it is necessary that' and `it is possible that', now also includes logics for belief, tense, the deontic (moral) expressions. From the Stanford Encyclopedia, by James W. Garson.
Modal Logics
A concise introduction to modal logics by Anthony A. Aaby.
Modality, Si! Modal Logic, No!
Article by J. McCarthy on the use of modality in artificial intelligence.
The Calculus of Structures - Modal Logics
Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.