Saturation-Based Uniform Interpolation for Multi-Agent Modal Logics

R. Alassaf, R. A. Schmidt and U. Sattler (2022)

In D. Fernandez-Duque and A. Palmigiano and S. Pinchinat (eds), Advances in Modal Logic, Volume 14. College Publications, London, 37-58. BiBTeX, Proceedings.


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 19 Feb 23
Copyright © 2022 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk