Copertina

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Barbosa, Haniel, Ringeissen, Christophe
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
di: Chaudhuri, Kaustuv, et al.
Pubblicazione: (2025)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
di: Kop, Cynthia, et al.
Pubblicazione: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Hint-Based SMT Proof Reconstruction
di: Clune, Joshua, et al.
Pubblicazione: (2026)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
di: Achilleos, Antonis, et al.
Pubblicazione: (2024)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Proceedings 41st International Conference on Logic Programming
di: Gebser, Martin, et al.
Pubblicazione: (2025)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
di: Bunch, Carter, et al.
Pubblicazione: (2024)

Proceedings Eighth Symposium on Working Formal Methods
di: Marin, Mircea, et al.
Pubblicazione: (2024)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

Proceedings 40th International Conference on Logic Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)

Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
di: Rabe, Florian, et al.
Pubblicazione: (2024)

Proceedings of the 22nd International Conference on Quantum Physics and Logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)

Proceedings of the 21st International Conference on Quantum Physics and Logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2024)

Base-extension Semantics for Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

A Categorical Semantics for Linear Logical Frameworks
di: Vákár, Matthijs
Pubblicazione: (2015)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
di: Bjorndahl, Adam
Pubblicazione: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
di: de Groot, Jim, et al.
Pubblicazione: (2024)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
di: Mohamed, Abdalrhman, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2022)

Proceedings Seventh International Conference on Applied Category Theory 2024
di: Johnson, Michael, et al.
Pubblicazione: (2025)

Hypergraph Semantics for Doxastic Logics
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2025)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
di: Kojima, Ryota, et al.
Pubblicazione: (2025)

Proceedings of the International Workshop on Verification of Scientific Software
di: Siegel, Stephen F., et al.
Pubblicazione: (2025)

Proceedings 9th edition of Working Formal Methods Symposium
di: Arusoaie, Andrei, et al.
Pubblicazione: (2025)

A Function-Set Framework: General Properties and Applications to Modal Logic
di: Bayzid, Luke, et al.
Pubblicazione: (2025)

Owicki--Gries Logic for Timestamp Semantics
di: Abe, Tatsuya
Pubblicazione: (2025)

Synchronous Team Semantics for Temporal Logics
di: Krebs, Andreas, et al.
Pubblicazione: (2024)

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
di: Gamboa, Ruben, et al.
Pubblicazione: (2025)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
di: Kettmann, Pascal, et al.
Pubblicazione: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
di: Marin, Sonia, et al.
Pubblicazione: (2025)