Guilherme Vicentin de Toledo

According to our database, Guilherme Vicentin de Toledo authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Combining Combination Properties: Minimal Models.

Guilherme Vicentin de Toledo, Yoni Zohar

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

The Nonexistence of Unicorns and Many-Sorted Löwenheim-Skolem Theorems.

Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Combining Finite Combination Properties: Finite Models and Busy Beavers.

Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness.

Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Two Decision Procedures for da Costa's C_n Logics Based on Restricted Nmatrix Semantics.

Marcelo E. Coniglio, Guilherme Vicentin de Toledo

Stud Logica, 2022