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
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
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
keyword
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
notes
Bibliogr.: 26 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise