Efficient Local Reductions to Basic Modal Logic - Research Portal | Lancaster University

Home > Research > Publications & Outputs > Efficient Local Reductions to Basic Modal Logic

Associated organisational units

Links

https://link.springer.com/chapter/10.1007/978-3-030-79876-5_5
Final published version
Licence: CC BY: Creative Commons Attribution 4.0 International License

Text available via DOI:

https://doi.org/10.1007/978-3-030-79876-5_5
Final published version
Available under license: CC BY: Creative Commons Attribution 4.0 International License

View graph of relations

Efficient Local Reductions to Basic Modal Logic

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Fabio Papacchini
Cláudia Nalon
Ullrich Hustadt
Clare Dixon

Publication date	7/07/2021
Host publication	Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Editors	Andre Platzer, Geoff Sutcliffe
Place of Publication	Cham
Publisher	Springer
Pages	76-92
Number of pages	17
ISBN (electronic)	9783030798765
ISBN (print)	9783030798758
<mark>Original language</mark>	English

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	12699
ISSN (Print)	0302-9743
ISSN (electronic)	1611-3349