KRIPKE
From MaRDI portal
Software:13904
swMATH1162MaRDI QIDQ13904FDOQ13904
Author name not available (Why is that?)
Cited In (7)
- The complexity of decision procedures in relevance logic II
- Title not available (Why is that?)
- The World's simplest axiom of choice fails
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- Title not available (Why is that?)
- TABLEAUX: A general theorem prover for modal logics
- Title not available (Why is that?)
This page was built for software: KRIPKE
