Description preview
This research aims to extend and unify concepts in the proof theory of modal logic and potentially other disciplines. That means, on the one hand, finding different calculi for modal logic, especially beyond the classical normal classes, i.e. non-normal and intuitionistic logic. Furthermore, the research might add onto proof systems that include…
🔒
Start 7-day free trial — $29.99/mo →Full details available on the Agency plan
Unlock the complete grant description, eligibility criteria, contract value, evaluation details and apply link — plus alerts, pipeline tracking, and CSV export.
Agency Plan
7-day free trialUnlock procurement & grants
Upgrade to access active tenders from World Bank, UNDP, ADB and more — with email alerts and pipeline tracking.
$29.99 / month
- 🔔Email alerts for new matching tenders
- 🗂️Track tenders in your pipeline
- 💰Filter by contract value
- 📥Export results to CSV
- 📌Save searches with one click