×
Edit Profile (opens in new tab)

Hartonas, Chrysafis

Co-Author Distance
Author ID: hartonas.chrysafis Recent zbMATH articles by "Hartonas, Chrysafis"
Published as: Hartonas, Chrysafis; Hartonas, Chrysafis (Takis); Hartonas, C.
External Links: MGP
Documents Indexed: 35 Publications since 1995, including 4 Additional arXiv Preprints
Co-Authors: 6 Co-Authors with 7 Joint Publications
448 Co-Co-Authors
all top 5

Co-Authors

25 single-authored
2 Barwise, Kenneth Jon
2 Gabbay, Dov M.
2 Hennessy, Matthew C. B.
1 Dunn, Jon Michael
1 Kwiatkowska, Marta Z.
1 Orłowska, Ewa S.
all top 5

Serials

6 Logic Journal of the IGPL
3 Algebra Universalis
3 Theoretical Computer Science
3 Journal of Applied Non-Classical Logics
2 Studia Logica
2 Logica Universalis
1 Journal of Philosophical Logic
1 Notre Dame Journal of Formal Logic
1 Information and Computation
1 Journal of Logic and Computation
1 Bulletin of the IGPL
1 Fundamenta Informaticae

Fields

26 Mathematical logic and foundations (03-XX)
11 Order, lattices, ordered algebraic structures (06-XX)
8 Computer science (68-XX)
1 Quantum theory (81-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

26 Publications have been cited 147 times in 66 Documents Cited by ▼ Year ▼
Stone duality for lattices. Zbl 0902.06008
Hartonas, C.; Dunn, J. M.
31
1997
Duality for lattice-ordered algebras and for normal algebraizable logics. Zbl 0886.06002
Hartonas, Chrysafis
21
1997
Order-dual relational semantics for non-distributive propositional logics: a general framework. Zbl 1436.03168
Hartonas, Chrysafis
10
2018
Discrete duality for lattices with modal operators. Zbl 1444.03174
Hartonas, Chrysafis
9
2019
Modal and temporal extensions of non-distributive propositional logics. Zbl 1405.03051
Hartonas, Chrysafis
9
2016
Order-dual relational semantics for non-distributive propositional logics. Zbl 1405.03071
Hartonas, Chrysafis
8
2017
Stone duality for lattice expansions. Zbl 1492.06003
Hartonas, Chrysafis
7
2018
Representation of lattices with modal operators in two-sorted frames. Zbl 1435.03090
Hartonas, Chrysafis; Orłowska, Ewa
6
2019
Duality for modal \(\mu\)-logics. Zbl 0909.03021
Hartonas, Chrysafis
6
1998
Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators. Zbl 1439.03050
Hartonas, Chrysafis
5
2016
Lattice logic as a fragment of (2-sorted) residuated modal logic. Zbl 1444.03057
Hartonas, Chrysafis
4
2019
On the logic of information flow. Zbl 0831.03012
Barwise, Jon; Gabbay, Dov; Hartonas, Chrysafis
4
1995
Canonical extensions and Kripke-Galois semantics for non-distributive logics. Zbl 1522.03052
Hartonas, Chrysafis
3
2018
First-order frames for orthomodular quantum logic. Zbl 1398.03211
Hartonas, Chrysafis
3
2016
Reconciliation of approaches to the semantics of logics without distribution. Zbl 1531.03099
Hartonas, Chrysafis (Takis)
3
2022
Duality results for (co)residuated lattices. Zbl 1516.06009
Hartonas, Chrysafis
2
2019
Modal translation of substructural logics. Zbl 1452.03057
Hartonas, Chrysafis
2
2020
Full abstractness for a functional/concurrent language with higher-order value-passing. Zbl 0912.68114
Hartonas, Chrysafis; Hennessy, Matthew
2
1998
Synchronization trees and fairness: A case study. Zbl 0851.68068
Hartonas, Chrysafis; Kwiatkowska, Marta
2
1995
Semantics for finite delay. Zbl 0903.68119
Hartonas, Chrysafis
2
1997
A fixpoint approach to finite delay and fairness. Zbl 0911.68101
Hartonas, Chrysafis
2
1998
Order-duality, negation and lattice representation. Zbl 0979.03045
Hartonas, Chrysafis
2
1996
Game-theoretic semantics for non-distributive logics. Zbl 1494.03073
Hartonas, Chrysafis
1
2019
Reasoning about types of action and agent capabilities. Zbl 1305.68160
Hartonas, Chrysafis
1
2013
An algebraic theory of structured objects. Zbl 0889.03044
Hartonas, Chrysafis
1
1997
Duality for normal lattice expansions and sorted residuated frames with relations. Zbl 07648354
Hartonas, Chrysafis
1
2023
Duality for normal lattice expansions and sorted residuated frames with relations. Zbl 07648354
Hartonas, Chrysafis
1
2023
Reconciliation of approaches to the semantics of logics without distribution. Zbl 1531.03099
Hartonas, Chrysafis (Takis)
3
2022
Modal translation of substructural logics. Zbl 1452.03057
Hartonas, Chrysafis
2
2020
Discrete duality for lattices with modal operators. Zbl 1444.03174
Hartonas, Chrysafis
9
2019
Representation of lattices with modal operators in two-sorted frames. Zbl 1435.03090
Hartonas, Chrysafis; Orłowska, Ewa
6
2019
Lattice logic as a fragment of (2-sorted) residuated modal logic. Zbl 1444.03057
Hartonas, Chrysafis
4
2019
Duality results for (co)residuated lattices. Zbl 1516.06009
Hartonas, Chrysafis
2
2019
Game-theoretic semantics for non-distributive logics. Zbl 1494.03073
Hartonas, Chrysafis
1
2019
Order-dual relational semantics for non-distributive propositional logics: a general framework. Zbl 1436.03168
Hartonas, Chrysafis
10
2018
Stone duality for lattice expansions. Zbl 1492.06003
Hartonas, Chrysafis
7
2018
Canonical extensions and Kripke-Galois semantics for non-distributive logics. Zbl 1522.03052
Hartonas, Chrysafis
3
2018
Order-dual relational semantics for non-distributive propositional logics. Zbl 1405.03071
Hartonas, Chrysafis
8
2017
Modal and temporal extensions of non-distributive propositional logics. Zbl 1405.03051
Hartonas, Chrysafis
9
2016
Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators. Zbl 1439.03050
Hartonas, Chrysafis
5
2016
First-order frames for orthomodular quantum logic. Zbl 1398.03211
Hartonas, Chrysafis
3
2016
Reasoning about types of action and agent capabilities. Zbl 1305.68160
Hartonas, Chrysafis
1
2013
Duality for modal \(\mu\)-logics. Zbl 0909.03021
Hartonas, Chrysafis
6
1998
Full abstractness for a functional/concurrent language with higher-order value-passing. Zbl 0912.68114
Hartonas, Chrysafis; Hennessy, Matthew
2
1998
A fixpoint approach to finite delay and fairness. Zbl 0911.68101
Hartonas, Chrysafis
2
1998
Stone duality for lattices. Zbl 0902.06008
Hartonas, C.; Dunn, J. M.
31
1997
Duality for lattice-ordered algebras and for normal algebraizable logics. Zbl 0886.06002
Hartonas, Chrysafis
21
1997
Semantics for finite delay. Zbl 0903.68119
Hartonas, Chrysafis
2
1997
An algebraic theory of structured objects. Zbl 0889.03044
Hartonas, Chrysafis
1
1997
Order-duality, negation and lattice representation. Zbl 0979.03045
Hartonas, Chrysafis
2
1996
On the logic of information flow. Zbl 0831.03012
Barwise, Jon; Gabbay, Dov; Hartonas, Chrysafis
4
1995
Synchronization trees and fairness: A case study. Zbl 0851.68068
Hartonas, Chrysafis; Kwiatkowska, Marta
2
1995
all cited Publications top 5 cited Publications
all top 5

Cited by 76 Authors

14 Hartonas, Chrysafis
5 Bimbó, Katalin
4 Dunn, Jon Michael
2 Banerjee, Mohua
2 Bezhanishvili, Nick
2 Conradie, Willem
2 Craig, Andrew P. K.
2 Düntsch, Ivo
2 Goldblatt, Robert Ian
2 González, Luciano Javier
2 Harding, John
2 Howlader, Prosenjit
2 Jipsen, Peter
2 Kamide, Norihiro
2 Leemhuis, Mena
2 Moshier, M. Andrew
2 Orłowska, Ewa S.
2 Özçep, Özgür Lütfü
2 Palmigiano, Alessandra
2 Suzuki, Tomoyuki
2 Wolter, Diedrich
1 Belikov, Aleksander Aleksandrovich
1 Bezhanishvili, Guram
1 Béziau, Jean-Yves
1 Bochman, Alexander
1 Brady, Ross Thomas
1 Celani, Sergio Arturo
1 Cleaveland, Ranee
1 Coppo, Mario
1 De Groot, Jim
1 Dezani-Ciancaglini, Mariangiola
1 Dmitrieva, Anna
1 Frittella, Sabine
1 Gabbay, Dov M.
1 Gehrke, Mai
1 Gouveia, Maria João
1 Grice, Matt
1 Haviar, Miroslav
1 Hennessy, Matthew C. B.
1 Hodkinson, Ian Martin
1 Jansana, Ramon
1 Kikot, Stanislav
1 Kozhemiachenko, Daniil
1 Kurucz, Agi
1 Lahav, Ori
1 Ledda, Antonio
1 Li, Guiying
1 Lüttgen, Gerald
1 Luz-Filho, Saturnino F.
1 Luz, Saturnino F.
1 Ma, Minghui
1 Marcos, João
1 Massas, Guillaume
1 McDonald, Joseph
1 Meytus, V. Yu.
1 Morandi, Patrick J.
1 Moraschini, Tommaso
1 Morcillo, Pedro J.
1 Moreno, Ginés
1 Penabad, Jaime
1 Piazzai, Michele
1 Punčochář, Vít
1 Santocanale, Luigi
1 Sato, Kentaro
1 Shramko, Yaroslav V.
1 Tanaka, Yoshihito
1 Tedder, Andrew
1 Tzimoulis, Apostolos
1 van Alten, Clint J.
1 Wijnberg, Nachoem M.
1 Wilkie, Alex James
1 Wolter, Frank
1 Zaitsev, Dmitry V.
1 Zakharyaschev, Michael Viktorovich
1 Zhou, Xiangnan
1 Zohar, Yoni
all top 5

Cited in 24 Serials

7 Algebra Universalis
6 Studia Logica
6 Theoretical Computer Science
4 Journal of Philosophical Logic
4 Logica Universalis
3 Notre Dame Journal of Formal Logic
3 Annals of Pure and Applied Logic
3 Journal of Applied Non-Classical Logics
2 Information and Computation
2 The Bulletin of Symbolic Logic
1 Fuzzy Sets and Systems
1 Journal of Algebra
1 The Journal of Symbolic Logic
1 Mathematica Slovaca
1 International Journal of Approximate Reasoning
1 International Journal of Computer Mathematics
1 Cybernetics and Systems Analysis
1 Applied Categorical Structures
1 Acta Universitatis Matthiae Belii. Series Mathematics
1 Mathematical Logic Quarterly (MLQ)
1 The Journal of Artificial Intelligence Research (JAIR)
1 Annals of Mathematics and Artificial Intelligence
1 Journal of Physics A: Mathematical and Theoretical
1 The Review of Symbolic Logic
all top 5

Cited in 11 Fields

46 Mathematical logic and foundations (03-XX)
22 Order, lattices, ordered algebraic structures (06-XX)
16 Computer science (68-XX)
3 Category theory; homological algebra (18-XX)
3 General topology (54-XX)
2 History and biography (01-XX)
2 General algebraic systems (08-XX)
2 Quantum theory (81-XX)
1 General and overarching topics; collections (00-XX)
1 Functional analysis (46-XX)
1 Operator theory (47-XX)

Citations by Year