Dynamic Logic: New trends and applications
Special Issue on Dynamic Logic: New trends and applications.
- Submission status
- Open
- Submission deadline
- Ongoing
Collections and calls for papers
Variable-Sharing Properties (and Their Discontents)
We invite submissions for papers including research that addresses, but is not limited to, the following themes: theoretical foundations of variable sharing in relevant and substructural logics; applications...
- Submission status
- Closed