Forward Proof Search for Intuitionistic Multimodal K Logics
statement of authorship
Niels Voorneveld
source
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings
location of publication
Cham
publisher
year of publication
pages
p. 335–353
series
Lecture Notes in Computer Science ; 15980
conference name, date
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025, September 27–29, 2025
conference location
Reykjavik, Iceland
subject term
ISSN
0302-9743 (print)
1611-3349 (electronic)
ISBN
978-3-032-06084-6
978-3-032-06085-3
notes
Bibliogr.: 26 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TalTech department
language
inglise
Voorneveld, N. Forward Proof Search for Intuitionistic Multimodal K Logics // Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings. Cham : Springer, 2025. p. 335–353. (Lecture Notes in Computer Science ; 15980).