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