Treffer 1 - 20 von 348 für Suche 'Lyon, Tim', Suchdauer: 0,83s Treffer weiter einschränken
  1. 1
    A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations

    A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations von van Berkel, Kees, Lyon, Tim S., Pascucci, Matteo

    Veröffentlicht in Journal of philosophical logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    On the correspondence between nested calculi and semantic systems for intuitionistic logics

    On the correspondence between nested calculi and semantic systems for intuitionistic logics von Lyon, Tim


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

    Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets von Lyon, Tim S., Rudolph, Sebastian


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Nested Sequents for Intuitionistic Modal Logics via Structural Refinement

    Nested Sequents for Intuitionistic Modal Logics via Structural Refinement von Lyon, Tim S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems

    On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems von Lyon, Tim


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents

    Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents von Lyon, Tim


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Display to Labeled Proofs and Back Again for Tense Logics

    Display to Labeled Proofs and Back Again for Tense Logics von Ciabattoni, Agata, Lyon, Tim S., Ramanayake, Revantha, Tiu, Alwen


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A Clinical Procedures Course for Medical Students

    A Clinical Procedures Course for Medical Students von Romeo, Ryan, Blasiole, Brian, Chalifoux, Thomas, Dalby, Patricia, Krohner, Robert, Lyon, Tim, Mahoney, John, McIvor, William R, Ondecko Ligda, Kristin, Patel, Rita

    Veröffentlicht in MedEdPORTAL

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A Framework for Intuitionistic Grammar Logics

    A Framework for Intuitionistic Grammar Logics von Lyon, Tim S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

    Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics von Lyon, Tim, van Berkel, Kees


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic

    On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic von Lyon, Tim S

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Unifying Sequent Systems for G\"odel-L\"ob Provability Logic via Syntactic Transformations

    Unifying Sequent Systems for G\"odel-L\"ob Provability Logic via Syntactic Transformations von Lyon, Tim S

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Cut-Free Calculi and Relational Semantics for Temporal STIT Logics

    Cut-Free Calculi and Relational Semantics for Temporal STIT Logics von van Berkel, Kees, Lyon, Tim


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    A Neutral Temporal Deontic STIT Logic

    A Neutral Temporal Deontic STIT Logic von van Berkel, Kees, Lyon, Tim


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Refining Labelled Systems for Modal and Constructive Logics with Applications

    Refining Labelled Systems for Modal and Constructive Logics with Applications von Lyon, Tim

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics

    Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics von Lyon, Tim S

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics

    On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics von Lyon, Tim

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents

    Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents von Lyon, Tim

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    From Display to Labelled Proofs for Tense Logics

    From Display to Labelled Proofs for Tense Logics von Ciabattoni, Agata, Lyon, Tim, Ramanayake, Revantha


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Nested Sequents for Intermediate Logics: The Case of G\"odel-Dummett Logics

    Nested Sequents for Intermediate Logics: The Case of G\"odel-Dummett Logics von Lyon, Tim S

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: