Skip Navigation



Journal of Logic and Computation Advance Access published online on May 5, 2008
Journal of Logic and Computation, doi:10.1093/logcom/exn016
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Sherkhonov, E. Yu.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2008. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original Papers

Modal Operators over Constructive Logic

Evgeny Yu. Sherkhonov

Novosibirsk State University, Novosibirsk, Russia.

E-mail: e.sherkhonov{at}gmail.com

The article deals with modal extensions of Nelson's constructive logic with strong negation N4. Different logics are constructed with respect to the notions of semantical and formal dualities introduced in Odintsov and Wansing (2004, First-Order Logic Revisited, 269–286) and to a new notion of negative semantical duality. Soundness and completeness are proved for each logic. It is also shown that all the logics are conservative extensions of N4, and they possess the disjunction property and the constructible falsity property.

Keywords: Constructive modal logic; strong negation; Kripke semantics



References

  1. Bozic M, Dosen K. Models for normal intuitionistic modal logic. Studia Logica (1984) 43:217–245.[CrossRef]
  2. Dosen K. Negative modal operators in intuitionistic logic. Publ. Inst. Math. Nouv. Ser. (1984) 35:3–14.
  3. Grefe C. Fischer Servi's intuitionistic modal logic has the finite model property. Advances in Modal Logic—Kracht M, et al, eds. (1998) Vol. 1:85–98. CSLI Lecture Notes 87.
  4. Nelson D. Constructible falsity. Journal of Symbolic Logic (1949) 14:16–26.[CrossRef]
  5. Odintsov SP, Wansing H. Constructive predicate logic and constructive modal logic. formal duality versus semantical duality. In: First-Order Logic Revisited—Hendricks V, et al, eds. (2004) Berlin: Logos. 269–286.
  6. Odintsov SP, Wansing H. Inconsistency-tolerant description logic. Part II: A tableau algorithm for Formula . In: Journal of Applied Logic. in press.
  7. Simpson AK. The Proof Theory and Semantics of Intuitionistic Modal Logic. (1994) Edinburgh: University of Edinburgh. PhD. Thesis.
  8. Sotirov V. Modal theories with intuitionistic logic. In Mathematical Logic. (1984) Proceedings of the Conference on Mathematical Logic, Dedicated to the Memory of A. A. Markov (1903–1979), 22–23, September, 1980: Sofia. 139–171.
  9. Vakarelov D. Theory of Negation in Certain Logical Systems. Algebraic and Semantical Approach. (1976) Warsaw: University of Warsaw. PhD dissertation.
  10. Vakarelov D. Non-classical negation in the works of Helena Rasiowa and their impact on the Theory of Negation. Studia Logica (2006) 84:105–127.[CrossRef]

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Sherkhonov, E. Yu.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?