×

Found 12 Documents (Results 1–12)

Who Finds the Short Proof? An Exploration of Variants of Boolos’ Curious Inference using Higher-order Automated Theorem Provers. arXiv:2208.06879

Preprint, arXiv:2208.06879 [math.LO] (2022).
BibTeX Cite
Full Text: DOI arXiv

A dyadic deontic logic in HOL. (English) Zbl 1418.03069

Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 33-49 (2018).
MSC:  03B45 03B15 03B35
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software