Quantificational modal logic with sequential kripke semantics (2005)

by S Borgo
Venue:Journal of Applied Non-Classical Logics