Lexicographic MV-algebras and lexicographic states
Diaconescu, Denisa, Flaminio, Tommaso, Leuştean, Ioana
Published in Fuzzy sets and systems (01.06.2014)
Published in Fuzzy sets and systems (01.06.2014)
Get full text
Journal Article
An analysis of the logic of Riesz spaces with strong unit
Di Nola, Antonio, Lapenta, Serafina, Leuştean, Ioana
Published in Annals of pure and applied logic (01.03.2018)
Published in Annals of pure and applied logic (01.03.2018)
Get full text
Journal Article
Many-sorted hybrid modal languages
Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Journal of logical and algebraic methods in programming (01.04.2021)
Published in Journal of logical and algebraic methods in programming (01.04.2021)
Get full text
Journal Article
A Many-sorted Polyadic Modal Logic
Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Fundamenta informaticae (01.01.2020)
Published in Fundamenta informaticae (01.01.2020)
Get full text
Journal Article
From Hybrid Modal Logic to Matching Logic and Back
Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Electronic proceedings in theoretical computer science (02.09.2019)
Published in Electronic proceedings in theoretical computer science (02.09.2019)
Get full text
Journal Article
Towards game semantics for nuanced logics
Diaconescu, Denisa, Leustean, Ioana
Published in 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (01.07.2017)
Published in 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (01.07.2017)
Get full text
Conference Proceeding
DELP: Dynamic Epistemic Logic for Security Protocols
Leustean, Ioana, Macovei, Bogdan
Published in 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.12.2021)
Published in 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.12.2021)
Get full text
Conference Proceeding
The Tensor PMV-algebra of an MV-algebra
Leustean, I.
Published in 2011 41st IEEE International Symposium on Multiple-Valued Logic (01.05.2011)
Published in 2011 41st IEEE International Symposium on Multiple-Valued Logic (01.05.2011)
Get full text
Conference Proceeding