Treffer 1 - 20 von 99 für Suche 'Sedlár, Igor', Suchdauer: 0,85s Treffer weiter einschränken
  1. 1
    Hyperintensional logics for everyone

    Hyperintensional logics for everyone von Sedlár, Igor

    Veröffentlicht in Synthese (Dordrecht)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers

    Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers von Martins, Manuel A, Sedlár, Igor

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Implicational Kleene algebra with domain and the substructural logic of partial correctness

    Implicational Kleene algebra with domain and the substructural logic of partial correctness von Sedlár, Igor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Epistemic Logics for Relevant Reasoners

    Epistemic Logics for Relevant Reasoners von Sedlár, Igor, Vigiani, Pietro

    Veröffentlicht in Journal of philosophical logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Hyperintensional models for non-congruential modal logics

    Hyperintensional models for non-congruential modal logics von Pascucci, Matteo, Sedlár, Igor

    Veröffentlicht in Logic journal of the IGPL

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Epistemic extensions of modal distributive substructural logics

    Epistemic extensions of modal distributive substructural logics von Sedlár, Igor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Completeness of Finitely Weighted Kleene Algebra with Tests

    Completeness of Finitely Weighted Kleene Algebra with Tests von Sedlár, Igor


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)

    Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020) von Martins, Manuel A, Sedlár, Igor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Relevant epistemic logic with public announcements and common knowledge

    Relevant epistemic logic with public announcements and common knowledge von PunČochář, Vít, Sedlár, Igor, Tedder, Andrew


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Kleene Algebra of Weighted Programs with Domain

    Kleene Algebra of Weighted Programs with Domain von Sedlár, Igor


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Lambek Calculus with Conjugates

    Lambek Calculus with Conjugates von Sedlár, Igor, Tedder, Andrew

    Veröffentlicht in Studia logica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    On the Complexity of Kleene Algebra with Domain

    On the Complexity of Kleene Algebra with Domain von Sedlár, Igor


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Epistemic extensions of substructural inquisitive logics

    Epistemic extensions of substructural inquisitive logics von Punčochář, Vít, Sedlár, Igor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Correction to: Lambek Calculus with Conjugates

    Correction to: Lambek Calculus with Conjugates von Sedlár, Igor, Tedder, Andrew

    Veröffentlicht in Studia logica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Epistemic Logics of Structured Intensional Groups

    Epistemic Logics of Structured Intensional Groups von Bílková, Marta, Sedlár, Igor


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Inquisitive Propositional Dynamic Logic

    Inquisitive Propositional Dynamic Logic von Punčochář, Vit, Sedlár, Igor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Routley Star in Information-Based Semantics

    Routley Star in Information-Based Semantics von Punčochář, Vít, Sedlár, Igor


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Dynamic logic: new trends and applications

    Dynamic logic: new trends and applications von Martins, Manuel A., Sedlár, Igor

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Propositional Dynamic Logic with Quantification over Regular Computation Sequences

    Propositional Dynamic Logic with Quantification over Regular Computation Sequences von Sedlár, Igor


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers

    Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: