"Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse ..."

Marco Bernardo, Andrea Esposito (2023)

Details and statistics

DOI: 10.4204/EPTCS.390.5

access: open

type: Conference or Workshop Paper

metadata version: 2023-11-06