Unification in first-order transitive modal logic

Article Properties
  • Language
    English
  • DOI (url)
    10.1093/jigpal/jzy077
  • Publication Date
    2019/01/03
  • Journal
    Logic Journal of the IGPL
  • Indian UGC (journal)
  • Refrences
    31
  • Wojciech Dzik Institute of Mathematics, Silesian University, Bankowa, Katowice, Poland
  • Piotr Wojtylak Institute of Computer Science, Opole University, Oleska, Opole, Poland
Cite
Dzik, Wojciech, and Piotr Wojtylak. “Unification in First-Order Transitive Modal Logic”. Logic Journal of the IGPL, 2019, https://doi.org/10.1093/jigpal/jzy077.
Dzik, W., & Wojtylak, P. (2019). Unification in first-order transitive modal logic. Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzy077
Dzik, Wojciech, and Piotr Wojtylak. “Unification in First-Order Transitive Modal Logic”. Logic Journal of the IGPL, 2019. https://doi.org/10.1093/jigpal/jzy077.
Dzik W, Wojtylak P. Unification in first-order transitive modal logic. Logic Journal of the IGPL. 2019;.
Journal Categories
Science
Mathematics
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
Refrences
Title Journal Journal Categories Citations Publication Date
Projective unification in transitive modal logics Logic Journal of the IGPL
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 8 2018
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

 Bulletin of the Section of Logic
  • Philosophy. Psychology. Religion: Logic
  • Philosophy. Psychology. Religion: Philosophy (General)
  • Science: Mathematics
 1 2017
Modal Consequence Relations Extending S4.3: An Application of Projective Unification Notre Dame Journal of Formal Logic
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 5 2016
Projective unification in modal logic Logic Journal of the IGPL
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 27 2012
Unification in modal and description logics Logic Journal of the IGPL
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 34 2011
Refrences Analysis
Category Category Repetition
Science: Mathematics5
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods2
Technology: Engineering (General). Civil engineering (General)2
Science: Mathematics: Instruments and machines: Electronic computers. Computer science1
Philosophy. Psychology. Religion: Philosophy (General)1
The category Science: Mathematics 5 is the most frequently represented among the references in this article. It primarily includes studies from Journal of Symbolic Computation and Annals of Pure and Applied Logic. The chart below illustrates the number of referenced publications per year.
Refrences used by this article by year