Planned GitLab downtime: Friday 01.08.2025, from 05:30 to ~ 08:30 due to migration.

Explore topics

Topics 16

O

OCaml

2
M

modal logic

3
R

resolution

2
O

ontology

2
F

formalization

2
H

hybrid logic

1
C

coalgebraic modal logic

1
R

reasoning

1
H

Haskell

1
F

fuzzy

1
C

chair

1
B

bibliography

2
C

coalg.org

1
C

cool

1
C

coalition logic

1
M

model checking

1