Modal Consequence Relations Extending S4.3: An Application of Projective Unification

Article Properties
Cite
Dzik, Wojciech, and Piotr Wojtylak. “Modal Consequence Relations Extending S4.3: An Application of Projective Unification”. Notre Dame Journal of Formal Logic, vol. 57, no. 4, 2016, https://doi.org/10.1215/00294527-3636512.
Dzik, W., & Wojtylak, P. (2016). Modal Consequence Relations Extending S4.3: An Application of Projective Unification. Notre Dame Journal of Formal Logic, 57(4). https://doi.org/10.1215/00294527-3636512
Dzik, Wojciech, and Piotr Wojtylak. “Modal Consequence Relations Extending S4.3: An Application of Projective Unification”. Notre Dame Journal of Formal Logic 57, no. 4 (2016). https://doi.org/10.1215/00294527-3636512.
Dzik W, Wojtylak P. Modal Consequence Relations Extending S4.3: An Application of Projective Unification. Notre Dame Journal of Formal Logic. 2016;57(4).
Journal Categories
Philosophy
Psychology
Religion
Philosophy (General)
Science
Mathematics
Refrences
Title Journal Journal Categories Citations Publication Date
10.1007/978-94-009-6259-0_1
That All Normal Extensions of S4.3 Have the Finite Model Property Mathematical Logic Quarterly
  • Science: Mathematics
  • Science: Mathematics
 34 1966
10.1007/BF02314419
10.1007/978-94-017-0454-0_2
10.1007/BF00405384
Citations
Title Journal Journal Categories Citations Publication Date
Finitary unification in locally tabular modal logics characterized Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 1 2022
Ideal related algebras and their logics

 Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2021
Unification in first-order transitive modal logic Logic Journal of the IGPL
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 2019
UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS

 The Review of Symbolic Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 2018
Almost structural completeness; an algebraic approach Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 11 2016
Citations Analysis
Category Category Repetition
Science: Mathematics5
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods4
Science: Mathematics: Instruments and machines: Electronic computers. Computer science1
Philosophy. Psychology. Religion: Philosophy (General)1
The category Science: Mathematics 5 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Almost structural completeness; an algebraic approach and was published in 2016. The most recent citation comes from a 2022 study titled Finitary unification in locally tabular modal logics characterized. This article reached its peak citation in 2022, with 1 citations. It has been cited in 4 different journals. Among related journals, the Annals of Pure and Applied Logic cited this research the most, with 2 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year