default search action
Chrysafis Hartonas
Person information
Refine list
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
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
Learning Objects and Learning Services in the Semantic Web. ICALT 2008: 584-586
1990 – 1999
- 1998
- [j8]Chrysafis Hartonas
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
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
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
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: