Forward Proof Search for Intuitionistic Multimodal K Logics
autor
Voorneveld, Niels Frits Willem
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
Springer
ilmumisaasta
2025
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
leitav
https://doi.org/10.1007/978-3-032-06085-3_18
märksõna
loogika
multimodaalsus
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/pages/publications/105019253434?origin=resultslist
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001678507100020
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
võtmesõna
cut elimination
epistemic logic
inverse methods
sequent calculi
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
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise