Has where published Journal of Applied Non-Classical Logics
From Tetherless World Wiki
A list of all pages that have property "Has where published" with value "Journal of Applied Non-Classical Logics"- BDD-based decision procedures for the modal logic K +
- PDL with Negation of Atomic Programs +
- A Correspondence between Temporal Description Logics +
- Axiomatizing Distance Logics +
