Searched +path:logics +path:first-order (Results 1 - 25 of 43) sorted by relevance

12

/hets/Framework/specs/logics/first-order/model_theory/
H A Dbase-zf.elf
H A Dbase.elf
H A Dfol-zf.elf
H A Dfol.elf
H A Dfolmod.elf
H A Dmodules-zf.elf
H A Dmodules.elf
H A Dsfol-zf.elf
H A Dsfol.elf
H A Duniverse-zf.elf
H A Duniverse.elf
/hets/Framework/specs/logics/first-order/proof_theory/
H A Dbase.elf
H A Dderived.elf
H A Ddfol.elf
H A Dfol.elf
H A Difol.elf
H A Dmodules.elf
H A Dsfol.elf
H A Dsifol.elf
H A Dsifol.omdoc
H A Dsorted_base.elf
H A Dsorted_base.omdoc
H A Dsorted_modules.elf
H A Dsorted_modules.omdoc
/hets/Framework/specs/logics/first-order/soundness/
H A Dbase.elf

Completed in 7 milliseconds

12