Sciweavers

NDJFL
2002
83views more  NDJFL 2002»
13 years 11 months ago
Shortest Axiomatizations of Implicational S4 and S5
Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for im...
Zachary Ernst, Branden Fitelson, Kenneth Harris, L...