Fingerprint
Dive into the research topics where Paaras Padhiar is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Intuitionistic Justification Logic, Semantically
Marin, S., Padhiar, P. & Shillito, I., 24 Apr 2026, (Accepted/In press) Advances in Modal Logic. College Publications, Vol. 16.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
The proof theory and semantics of second-order (intuitionistic) tense logic
Becker, J., Das, A., Marin, S. & Padhiar, P., 5 Feb 2026, arXiv.Research output: Working paper/Preprint › Preprint
File6 Downloads (Pure) -
Justification Logic for Intuitionistic Modal Logic
Marin, S. & Padhiar, P., 25 Sept 2025, Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings. Pozzato, G. L. & Uustalu, T. (eds.). Springer, p. 393-413 21 p. (Lecture Notes in Computer Science; vol. 15980).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile42 Downloads (Pure) -
Nested proof theory for quasi-transitive modal logics
Marin, S. & Padhiar, P., Aug 2024.Research output: Contribution to conference (unpublished) › Paper