Forward Proof Search for Intuitionistic Multimodal K Logics
vastutusandmed
Niels Voorneveld
allikas
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 335–353
seeria-sari
Lecture Notes in Computer Science ; 15980
konverentsi nimetus, aeg
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025, September 27–29, 2025
konverentsi toimumispaik
Reykjavik, Iceland
märksõna
ISSN
0302-9743 (print)
1611-3349 (electronic)
ISBN
978-3-032-06084-6
978-3-032-06085-3
märkused
Bibliogr.: 26 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
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).