Return to Article Details On Definability of Connectives and Modal Logics over FDE Download Download PDF