Vol-1993⫷ Vol-1994 ⫸Vol-1995
urn:nbn:de:0074-1994-0


Vol-1994/Bridging2017_paper7⫷Vol-1994/Bridging2017_paper8

Satisfiability for First-order Logic as a Non-Modal Deontic Logic