milkbread
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
6
Assets
6
modallogic/
modallogic/
http://www.clas.ufl.edu/users/jzeman/modallogic/
Method of analytic tableaux
Modal logic
Link from a Wikipage to an external page
modallogic/
http://www.clas.ufl.edu/users/jzeman/modallogic/