Title

A general proof method for modal predicate logic without the Barcan formula.

SelectedWorks Author Profiles:

Han Reichgelt

Document Type

Article

Publication Date

1988

Date Issued

January 1988

Date Available

July 2014

Abstract

We present a general proof method for normal systems of modal predicate logic with identical inference rules for each such logic. Different systems are obtained by changing the conditions under which two formulas are considered complementary. The paper extends previous work in that we are no longer confined to models in which the Barcan formula and its converse hold. This allows the domain of individuals to vary from world to world. Modifications to the original inference rules are given, and a semantic justification is provided.

Comments

Citation only. Full-text article is available through licensed access provided by the publisher. Published in Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), Saint Paul, MN, August 21-26, 1988 (pp. 177-181). AAAI.

Language

en_US

Publisher

Association for the Advancement of Artificial Intelligence

Creative Commons License

Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.

This document is currently not available here.

Share

COinS