Logical Foundations of Computer Science

Book title Buchtitel

Editor Herausgeber_in

Artemov, Sergei
Nerode, Anil

Publisher Verlag

Springer Verlag

DOI

10.1007/978-3-540-92687-0

Series Schriftenreihe

Lecture Notes in Computer Science

Results 1-6 of 6 (Search time: 0.002 seconds).

RIS EndNote Bibtex

	Author(s)	Title	Type	Issue Date
1	Terwijn, Sebastiaan A.	Decidability and undecidability in probability logic	Konferenzbeitrag Inproceedings	2009
2	Lyon, Tim ; Ramanayake, Revantha ; Ciabattoni, Agata	From Display to Labelled Calculi for Tense Logics	Konferenzbeitrag Inproceedings	2018
3	Keller, Uwe ; Heymans, Stijn	Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm	Konferenzbeitrag Inproceedings	2009
4	Lyon, Tim	On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems	Konferenzbeitrag Inproceedings	2020
5	Leitsch, Alexander ; Baaz, Matthias ; Lolic, Anela	A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem	Konferenzbeitrag Inproceedings	2018
6	Lyon, Timothy Stephen	Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents	Konferenzbeitrag Inproceedings	2020