Associativity does not imply undecidability without the axiom of modal distribution

Authors:
Viktor Gyuris
Affiliations:
-
Venue:
Arrow logic and multi-modal logic
Year:
1997

Citing 0
Cited 2

A Complete Axiomatic System for a Process-Based Spatial Logic

MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Decidability of modular logics for concurrency

PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract