Justus Becker

According to our database, Justus Becker authored at least 3 papers between 2004 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

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

Justus Becker, Anupam Das, Sonia Marin, Paaras Padhiar

CoRR, February, 2026

2025

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic.

Justus Becker

CoRR, June, 2025

2004

Agent Technology in Supply Chains and Networks - An Exploration of High Potential Future Applications.

Jos van Hillegersberg, Hans Moonen, Thierry Verduijn, Justus Becker

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004