Paaras Padhiar

Orcid: 0009-0005-1844-0295

According to our database¹, Paaras Padhiar authored at least 4 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

The proof theory and semantics of second-order (intuitionistic) tense logic.

[DOI]

CoRR, February, 2026

2025

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report).

[DOI]

CoRR, July, 2025

Justification Logic for Intuitionistic Modal Logic.

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025

2024

Nested Sequents for Quasi-transitive Modal Logics.

[DOI]

CoRR, 2024