Normal forms in partial modal logic

Jan Jaspars

Banach Center Publications (1993)

  • Volume: 28, Issue: 1, page 37-50
  • ISSN: 0137-6934

Abstract

top
A "partial" generalization of Fine's definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi].

How to cite

top

Jaspars, Jan. "Normal forms in partial modal logic." Banach Center Publications 28.1 (1993): 37-50. <http://eudml.org/doc/262659>.

@article{Jaspars1993,
abstract = {A "partial" generalization of Fine's definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi].},
author = {Jaspars, Jan},
journal = {Banach Center Publications},
keywords = {partial modal logic; partial Kripke models; partial normal forms},
language = {eng},
number = {1},
pages = {37-50},
title = {Normal forms in partial modal logic},
url = {http://eudml.org/doc/262659},
volume = {28},
year = {1993},
}

TY - JOUR
AU - Jaspars, Jan
TI - Normal forms in partial modal logic
JO - Banach Center Publications
PY - 1993
VL - 28
IS - 1
SP - 37
EP - 50
AB - A "partial" generalization of Fine's definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi].
LA - eng
KW - partial modal logic; partial Kripke models; partial normal forms
UR - http://eudml.org/doc/262659
ER -

References

top
  1. [BaP] J. Barwise and J. Perry, Situations and Attitudes, MIT Press, Cambridge, MA, 1983. Zbl0946.03007
  2. [Bla] S. Blamey, Partial logic, in: Handbook of Philosophical Logic, D. Gabbay and F. Guenthner (eds.), #III, Reidel, Dordrecht 1986, 1-70. Zbl0875.03023
  3. [FaH] R. Fagin and J. Y. Halpern, Belief, awareness and limited reasoning, in : Proc. Ninth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos 1985, 491-501. 
  4. [FaV] R. Fagin and M. Y. Vardi, An internal semantics for modal logic: preliminary report, CSLI Research Notes #85-25, Stanford Univ., 1985. 
  5. [Fin] K. Fine, Normal forms in modal logic, Notre Dame J. Formal Logic 16 (1975), 229-237. Zbl0245.02025
  6. [Jas] J. O. M. Jaspars, Theoretical circumscription in partial modal logic, in: Logics in AI, JELIA '90, J. van Eijck (ed.), Lecture Notes in Artificial Intelligence 478, Springer, Heidelberg 1991, 303-318. 
  7. [Kam] H. Kamp, A scenic tour through the land of naked infinitives, manuscript, 1983. 
  8. [Mus] R. A. Muskens, Meaning and partiality, Ph.D. thesis, Univ. of Amsterdam, 1989. 
  9. [Ras] H. Rasiowa, An Algebraic Approach to Non-Classical Logics, North-Holland, Amsterdam 1974. 
  10. [Thi] E. G. C. Thijsse, Partial propositional and modal logic; the overall theory, in: Proc. Seventh Amsterdam Colloquium, M. Stokhof and L. Torenvliet (eds.), ITLI, Amsterdam 1990, 555-579. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.