Treffer 1 - 20 von 24 für Suche 'Dalmonte, Tiziano', Suchdauer: 0,68s Treffer weiter einschränken
  1. 1
    Intuitionistic Non-normal Modal Logics: A General Framework

    Intuitionistic Non-normal Modal Logics: A General Framework von Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola

    Veröffentlicht in Journal of philosophical logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship

    Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship von Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity

    Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity von Dalmonte, Tiziano, Lellmann, Björn, Olivetti, Nicola, Pimentel, Elaine


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Non-normal modal logics : neighbourhood semantics and their calculi

    Non-normal modal logics : neighbourhood semantics and their calculi von Dalmonte, Tiziano

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Minimal modal logics, constructive modal logics and their relations

    Minimal modal logics, constructive modal logics and their relations von Dalmonte, Tiziano

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Wijesekera-style constructive modal logics

    Wijesekera-style constructive modal logics von Dalmonte, Tiziano

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations

    Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations von Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Terminating Calculi and Countermodels for Constructive Modal Logics

    Terminating Calculi and Countermodels for Constructive Modal Logics von Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)

    HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) von Dalmonte, Tiziano, Olivetti, Nicola, Pozzato, Gian Luca


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Non-Normal Modal Description Logics

    Non-Normal Modal Description Logics von Dalmonte, Tiziano, Mazzullo, Andrea, Ozaki, Ana, Troquard, Nicolas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Comparative plausibility in neighbourhood models: axiom systems and sequent calculi

    Comparative plausibility in neighbourhood models: axiom systems and sequent calculi von Dalmonte, Tiziano, Girlando, Marianna

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Minimal modal logics, constructive modal logics and their relations

    Minimal modal logics, constructive modal logics and their relations von Dalmonte, Tiziano

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics

    Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics von Dalmonte, Tiziano, Lellmann, Björn, Olivetti, Nicola, Pimentel, Elaine


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Wijesekera-style constructive modal logics

    Wijesekera-style constructive modal logics von Dalmonte, Tiziano

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics

    PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics von Dalmonte, Tiziano, Negri, Sara, Olivetti, Nicola, Pozzato, Gian Luca


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Reasoning in Non-normal Modal Description Logics

    Reasoning in Non-normal Modal Description Logics von Dalmonte, Tiziano, Mazzullo, Andrea, Ozaki, Ana

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Comparative plausibility in neighbourhood models: axiom systems and sequent calculi

    Comparative plausibility in neighbourhood models: axiom systems and sequent calculi von Dalmonte, Tiziano, Girlando, Marianna

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Non-Normal Modal Description Logics (Extended Version)

    Non-Normal Modal Description Logics (Extended Version) von Dalmonte, Tiziano, Mazzullo, Andrea, Ozaki, Ana, Troquard, Nicolas

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Intuitionistic Non-Normal Modal Logics: A general framework

    Intuitionistic Non-Normal Modal Logics: A general framework von Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity

    Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity von Dalmonte, Tiziano, Lellmann, Björn, Olivetti, Nicola, Pimentel, Elaine

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: