Notions of Bisimulation for Heyting-Valued Modal Languages

Article Properties
Cite
Eleftheriou, P. E., et al. “Notions of Bisimulation for Heyting-Valued Modal Languages”. Journal of Logic and Computation, vol. 22, no. 2, 2010, pp. 213-35, https://doi.org/10.1093/logcom/exq005.
Eleftheriou, P. E., Koutras, C. D., & Nomikos, C. (2010). Notions of Bisimulation for Heyting-Valued Modal Languages. Journal of Logic and Computation, 22(2), 213-235. https://doi.org/10.1093/logcom/exq005
Eleftheriou, P. E., C. D. Koutras, and C. Nomikos. “Notions of Bisimulation for Heyting-Valued Modal Languages”. Journal of Logic and Computation 22, no. 2 (2010): 213-35. https://doi.org/10.1093/logcom/exq005.
Eleftheriou PE, Koutras CD, Nomikos C. Notions of Bisimulation for Heyting-Valued Modal Languages. Journal of Logic and Computation. 2010;22(2):213-35.
Journal Categories
Science
Mathematics
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
How True It Is = Who Says It’s True Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 2 2009
Frame constructions, truth invariance and validity preservation in many-valued modal logic Journal of Applied Non-Classical Logics 4 2005
A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes Journal of Applied Non-Classical Logics 6 2003
Canonicity and Completeness Results for Many-Valued Modal Logics Journal of Applied Non-Classical Logics 4 2002
10.1016/S0304-3975(98)00314-4 Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1999
Refrences Analysis
Category Category Repetition
Science: Mathematics2
Science: Mathematics: Instruments and machines: Electronic computers. Computer science2
Philosophy. Psychology. Religion: Philosophy (General)1
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware1
The category Science: Mathematics 2 is the most frequently represented among the references in this article. It primarily includes studies from Studia Logica and Theoretical Computer Science. The chart below illustrates the number of referenced publications per year.
Refrences used by this article by year
Citations
Title Journal Journal Categories Citations Publication Date
Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations Fuzzy Sets and Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Probabilities. Mathematical statistics
  • Science: Mathematics
  • Technology: Engineering (General). Civil engineering (General)
  • Technology: Engineering (General). Civil engineering (General)
 2024
Computing crisp bisimulations for fuzzy structures International Journal of Approximate Reasoning
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Mechanical engineering and machinery
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2 2024
Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic Cybernetics and Systems
  • Technology: Mechanical engineering and machinery
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Engineering (General). Civil engineering (General)
 2024
Depth-bounded fuzzy simulations and bisimulations between fuzzy automata Fuzzy Sets and Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Probabilities. Mathematical statistics
  • Science: Mathematics
  • Technology: Engineering (General). Civil engineering (General)
  • Technology: Engineering (General). Civil engineering (General)
 2 2023
Fuzzy simulations and bisimulations between fuzzy automata International Journal of Approximate Reasoning
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Mechanical engineering and machinery
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 5 2023
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science18
Technology: Engineering (General). Civil engineering (General)12
Technology: Mechanical engineering and machinery12
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics12
Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks6
Science: Mathematics5
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods4
Science: Mathematics: Probabilities. Mathematical statistics4
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software2
Technology: Technology (General): Industrial engineering. Management engineering: Information technology1
Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication1
Science: Science (General): Cybernetics: Information theory1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 18 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Logical characterizations of regular equivalence in weighted social networks and was published in 2014. The most recent citation comes from a 2024 study titled Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations. This article reached its peak citation in 2023, with 6 citations. It has been cited in 11 different journals. Among related journals, the IEEE Transactions on Fuzzy Systems cited this research the most, with 6 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year