The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tim Lyon" ( http://dblp.L3S.de/Authors/Tim_Lyon )

  Author page on DBLP  Author page in RDF  Community of Tim Lyon in ASPL-2

Publication years (Num. hits)
2018 (1) 2019 (11)
Publication types (Num. hits)
article(8) inproceedings(4)
Venues (Conferences, Journals, ...)
CoRR(8) JELIA(1) LFCS(1) LORI(1) PRIMA(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 13 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tim Lyon, Kees van Berkel 0002 Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Tim Lyon Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Kees van Berkel 0002, Tim Lyon Cut-free Calculi and Relational Semantics for Temporal STIT Logics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Tim Lyon On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Kees van Berkel 0002, Tim Lyon A Neutral Temporal Deontic STIT Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu Display to Labelled Proofs and Back Again for Tense Logics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Kees van Berkel 0002, Tim Lyon Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Kees van Berkel 0002, Tim Lyon A Neutral Temporal Deontic STIT Logic. Search on Bibsonomy LORI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tim Lyon, Kees van Berkel 0002 Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. Search on Bibsonomy PRIMA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kees van Berkel 0002, Tim Lyon Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Tim Lyon, Revantha Ramanayake From Display to Labelled Proofs for Tense Logics. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license