![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Chrysafis Hartonas
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i3]Chrysafis Hartonas:
Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator. CoRR abs/2301.05661 (2023) - [i2]Chrysafis Hartonas:
Choice-free Topological Duality for Implicative Lattices and Heyting Algebras. CoRR abs/2302.03674 (2023) - 2021
- [i1]Chrysafis Hartonas
:
Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations. CoRR abs/2110.06924 (2021) - 2020
- [j23]Chrysafis Hartonas
:
Modal translation of substructural logics. J. Appl. Non Class. Logics 30(1): 16-49 (2020)
2010 – 2019
- 2019
- [j22]Chrysafis Hartonas
, Ewa Orlowska
:
Representation of Lattices with Modal Operators in Two-Sorted Frames. Fundam. Informaticae 166(1): 29-56 (2019) - [j21]Chrysafis Hartonas
:
Game-theoretic semantics for non-distributive logics. Log. J. IGPL 27(5): 718-742 (2019) - [j20]Chrysafis Hartonas
:
Lattice logic as a fragment of (2-sorted) residuated modal logic. J. Appl. Non Class. Logics 29(2): 152-170 (2019) - [j19]Chrysafis Hartonas
:
Discrete duality for lattices with modal operators. J. Log. Comput. 29(1): 71-89 (2019) - [j18]Chrysafis Hartonas
:
Duality Results for (Co)Residuated Lattices. Logica Universalis 13(1): 77-99 (2019) - 2018
- [j17]Chrysafis Hartonas
:
Stone duality for lattice expansions. Log. J. IGPL 26(5): 475-504 (2018) - [j16]Chrysafis Hartonas
:
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework. J. Philos. Log. 47(1): 67-94 (2018) - [j15]Chrysafis Hartonas
:
Canonical Extensions and Kripke-Galois Semantics for Non-distributive Logics. Logica Universalis 12(3-4): 397-422 (2018) - 2017
- [j14]Chrysafis Hartonas:
Kripke-Galois Frames and their Logics. FLAP 4(3) (2017) - [j13]Chrysafis Hartonas
:
Order-dual relational semantics for non-distributive propositional logics. Log. J. IGPL 25(2): 145-182 (2017) - 2016
- [j12]Chrysafis Hartonas
:
Modal and temporal extensions of non-distributive propositional logics. Log. J. IGPL 24(2): 156-185 (2016) - [j11]Chrysafis Hartonas
:
First-order frames for orthomodular quantum logic. J. Appl. Non Class. Logics 26(1): 69-80 (2016) - 2015
- [c6]Maria Tsiakmaki, Chrysafis Hartonas
:
Implementing the CROP reference architecture: the CROP learning service. Panhellenic Conference on Informatics 2015: 55-56 - 2014
- [j10]Chrysafis Hartonas
:
On the Dynamic Logic of Agency and Action. Stud Logica 102(3): 441-478 (2014) - 2013
- [j9]Chrysafis Hartonas
:
Reasoning about types of action and agent capabilities. Log. J. IGPL 21(5): 703-742 (2013) - [c5]Agathoklis Kritsimallis, Chrysafis Hartonas
:
Tableaux for type PDL. BCI 2013: 39-46 - [c4]Maria Tsiakmaki, Chrysafis Hartonas:
Implementing the CROP Reference Architecture: The CROP Learning Object Editor. BCI (Local) 2013: 72
2000 – 2009
- 2008
- [c3]Chrysafis Hartonas
, Eleni Gana:
Learning Objects and Learning Services in the Semantic Web. ICALT 2008: 584-586
1990 – 1999
- 1998
- [j8]Chrysafis Hartonas
, Matthew Hennessy:
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing. Inf. Comput. 145(1): 64-106 (1998) - [j7]Chrysafis Hartonas
:
A Fixpoint Approach to Finite Delay and Fairness. Theor. Comput. Sci. 198(1-2): 131-158 (1998) - [j6]Chrysafis Hartonas
:
Duality for Modal mu-Logics. Theor. Comput. Sci. 202(1-2): 193-222 (1998) - 1997
- [j5]Chrysafis Hartonas
:
Pretopology Semantics for Bimodal Intuitionistic Linear Logic. Log. J. IGPL 5(1): 65-78 (1997) - [j4]Chrysafis Hartonas
:
An Algebraic Theory of Structured Objects. Notre Dame J. Formal Log. 38(1): 65-80 (1997) - [j3]Chrysafis Hartonas
:
Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Stud Logica 58(3): 403-450 (1997) - [j2]Chrysafis Hartonas
:
Semantics of Finite Delay. Theor. Comput. Sci. 176(1-2): 205-234 (1997) - [c2]Chrysafis Hartonas
, Matthew Hennessy:
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract). CSL 1997: 239-254 - 1995
- [j1]Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas
:
On the Logic of Information Flow. Log. J. IGPL 3(1): 7-50 (1995) - 1994
- [c1]Chrysafis Hartonas, Marta Z. Kwiatkowska:
Synchronisation Trees and Fairness: A Case Study. Theory and Formal Methods 1994: 181-198
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint