default search action

combined dblp search
author search
venue search
publication search

ask others

20th LSFA 2025: Brasilia, Brazil

> Home > Conferences and Workshops > LSFA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-23739
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-23739
Haniel Barbosa, Christophe Ringeissen:
Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025, Brasilia, Brazil, October 7-8, 2025. EPTCS 430, 2025
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-25880
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-25880
Luke Bayzid, Alexandre Madeira, Manuel A. Martins:
A Function-Set Framework: General Properties and Applications to Modal Logic. 1-7
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-01868
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-01868
Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari:
Sequent Calculi for Data-Aware Modal Logics. 8-25
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-25882
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-25882
Alfredo R. Freire, Manuel A. Martins:
Characterization of Lattice Properties Within Modal Extensions. 26-36
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-25879
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-25879
Michele De Pascalis, Tarmo Uustalu, Niccolò Veltri:
Monoid Structures on Indexed Containers. 37-54
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-25883
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-25883
Fabrício Sanches Paranhos, Daniel Ventura:
Nominal Sets in Rocq. 55-68

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.