Forward Proof Search for Intuitionistic Multimodal K Logics
author
Voorneveld, Niels Frits Willem
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
Springer
year of publication
2025
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
url
https://doi.org/10.1007/978-3-032-06085-3_18
subject term
loogika
multimodaalsus
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
3.1
TalTech department
tarkvarateaduse instituut
language
inglise