E-LIB Suche - Ergebnisse für: Bezhanishvili, Nick

1

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Bezhanishvili, Nick ; Ciancia, Vincenzo ; Gabelaia, David... - p. 20-38 , 2024

Link: https://doi.org/10.1007/..

2

Dick de Jongh on Intuitionistic and Provability Logics

Outstanding Contributions to Logic, 28

Bezhanishvili, Nick ; Iemhoff, Rosalie ; Yang, Fan - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

3

Bi-intermediate logics of trees and co-trees:

Bezhanishvili, Nick ; Martins, Miguel ; Moraschini, Tommaso
Annals of Pure and Applied Logic. 175 (2024) 10 - p. 103490 , 2024

Link: https://doi.org/10.1016/..

4

Positive modal logic beyond distributivity:

Bezhanishvili, Nick ; Dmitrieva, Anna ; de Groot, Jim.
Annals of Pure and Applied Logic. 175 (2024) 2 - p. 103374 , 2024

Link: https://doi.org/10.1016/..

5

The Topological Mu-Calculus: Completeness and Decidability:

Baltag, Alexandru ; Bezhanishvili, Nick ; Fernández-Duque, David
Journal of the ACM. 70 (2023) 5 - p. 1-38 , 2023

Link: https://doi.org/10.1145/..

6

Modern Faces of Filtration:

, In: Outstanding Contributions to Logic; Kit Fine on Truthmakers, Relevance, and Non-classical Logic,

van Benthem, Johan ; Bezhanishvili, Nick - p. 23-61 , 2023

Link: https://doi.org/10.1007/..

7

Admissibility of Π2-Inference Rules: interpolation, model c..:

Bezhanishvili, Nick ; Carai, Luca ; Ghilardi, Silvio.
Annals of Pure and Applied Logic. 174 (2023) 1 - p. 103169 , 2023

Link: https://doi.org/10.1016/..

8

Modal structures in groups and vector spaces:

van Benthem, Johan ; Bezhanishvili, Nick
Journal of Logic and Computation. 34 (2023) 1 - p. 75-124 , 2023

Link: https://doi.org/10.1093/..

9

Minimisation in Logical Form:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Bezhanishvili, Nick ; Bonsangue, Marcello M. ; Hansen, Helle Hvid... - p. 89-127 , 2023

Link: https://doi.org/10.1007/..

10

Justified belief, knowledge, and the topology of evidence:

Baltag, Alexandru ; Bezhanishvili, Nick ; Özgün, Aybüke.
Synthese. 200 (2022) 6 - p. , 2022

Link: https://doi.org/10.1007/..

11

A Coalgebraic Approach to Dualities for Neighborhood Frames:

Bezhanishvili, Guram ; Bezhanishvili, Nick ; de Groot, Jim
Logical Methods in Computer Science. 18, Issue 3 (2022) - p. , 2022

Link: https://doi.org/10.46298..

12

Coalgebraic Geometric Logic: Basic Theory:

Bezhanishvili, Nick ; de Groot, Jim ; Venema, Yde
Logical Methods in Computer Science. 18, Issue 4 (2022) - p. , 2022

Link: https://doi.org/10.46298..

13

Geometric Model Checking of Continuous Space:

Bezhanishvili, Nick ; Ciancia, Vincenzo ; Gabelaia, David...
Logical Methods in Computer Science. 18, Issue 4 (2022) - p. , 2022

Link: https://doi.org/10.46298..

14

POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE C..:

ADAM-DAY, SAM ; BEZHANISHVILI, NICK ; GABELAIA, DAVID.
The Journal of Symbolic Logic. 89 (2022) 1 - p. 342-382 , 2022

Link: https://doi.org/10.1017/..

15

Topological Evidence Logics: Multi-agent Setting:

, In: Lecture Notes in Computer Science; Language, Logic, and Computation,

Baltag, Alexandru ; Bezhanishvili, Nick ; Fernández González, Saúl - p. 237-257 , 2022

Link: https://doi.org/10.1007/..