Implementing Intermediate Logics

Bastiaan Haaksema; Jens Otten; Revantha Ramanayake

Implementing Intermediate Logics

Bastiaan Haaksema, Jens Otten, Revantha Ramanayake

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

28 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with the 12th International Joint Conference on Automated Reasoning {(IJCAR} 2024
Editors	Christoph Benzmüller, Jens Otten, Revantha Ramanayake
Publisher	CEUR Workshop Proceedings (CEUR-WS.org)
Pages	14-23
Number of pages	9
Volume	3875
Publication status	Published - 1-Jul-2024

Access to Document

Implementing Intermediate LogicsFinal publisher's version, 450 KBLicence: CC BY

Handle.net

Persistent link

Cite this

Haaksema, B., Otten, J., & Ramanayake, R. (2024). Implementing Intermediate Logics. In C. Benzmüller, J. Otten, & R. Ramanayake (Eds.), Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with the 12th International Joint Conference on Automated Reasoning {(IJCAR} 2024 (Vol. 3875, pp. 14-23). CEUR Workshop Proceedings (CEUR-WS.org).

Haaksema, Bastiaan ; Otten, Jens ; Ramanayake, Revantha. / Implementing Intermediate Logics. Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with the 12th International Joint Conference on Automated Reasoning {(IJCAR} 2024. editor / Christoph Benzmüller ; Jens Otten ; Revantha Ramanayake. Vol. 3875 CEUR Workshop Proceedings (CEUR-WS.org), 2024. pp. 14-23

@inproceedings{cbd06b33feb34b9190cb80f49a6ec09f,

title = "Implementing Intermediate Logics",

author = "Bastiaan Haaksema and Jens Otten and Revantha Ramanayake",

year = "2024",

month = jul,

day = "1",

language = "English",

volume = "3875",

pages = "14--23",

editor = "Christoph Benzm{\"u}ller and Jens Otten and Revantha Ramanayake",

booktitle = "Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with the 12th International Joint Conference on Automated Reasoning {(IJCAR} 2024",

publisher = "CEUR Workshop Proceedings (CEUR-WS.org)",

}

Haaksema, B, Otten, J & Ramanayake, R 2024, Implementing Intermediate Logics. in C Benzmüller, J Otten & R Ramanayake (eds), Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with the 12th International Joint Conference on Automated Reasoning {(IJCAR} 2024. vol. 3875, CEUR Workshop Proceedings (CEUR-WS.org), pp. 14-23.

Implementing Intermediate Logics. / Haaksema, Bastiaan; Otten, Jens; Ramanayake, Revantha.
Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with the 12th International Joint Conference on Automated Reasoning {(IJCAR} 2024. ed. / Christoph Benzmüller; Jens Otten; Revantha Ramanayake. Vol. 3875 CEUR Workshop Proceedings (CEUR-WS.org), 2024. p. 14-23.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Implementing Intermediate Logics

AU - Haaksema, Bastiaan

AU - Otten, Jens

AU - Ramanayake, Revantha

PY - 2024/7/1

Y1 - 2024/7/1

M3 - Conference contribution

VL - 3875

SP - 14

EP - 23

BT - Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with the 12th International Joint Conference on Automated Reasoning {(IJCAR} 2024

A2 - Benzmüller, Christoph

A2 - Otten, Jens

A2 - Ramanayake, Revantha

PB - CEUR Workshop Proceedings (CEUR-WS.org)

ER -

Haaksema B, Otten J, Ramanayake R. Implementing Intermediate Logics. In Benzmüller C, Otten J, Ramanayake R, editors, Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with the 12th International Joint Conference on Automated Reasoning {(IJCAR} 2024. Vol. 3875. CEUR Workshop Proceedings (CEUR-WS.org). 2024. p. 14-23