2,529 followers
RT @bblfish: @ThePatHayes @zarzuelazen @GaryMarcus Yet, Modal Logics seems to have had a major influence on Description Logics, allowing th…
RT @bblfish: @ThePatHayes @zarzuelazen @GaryMarcus Yet, Modal Logics seems to have had a major influence on Description Logics, allowing th…
@ThePatHayes @zarzuelazen @GaryMarcus Yet, Modal Logics seems to have had a major influence on Description Logics, allowing them to provide efficient reasoning. What is it about Modal Logic that give it these properties? See 2005 article by Horrocks and Ba