Topic
Normal modal logic
About: Normal modal logic is a research topic. Over the lifetime, 2649 publications have been published within this topic receiving 75735 citations.
Papers published on a yearly basis
Papers
More filters
•
TL;DR: Part 1.
Abstract: The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise.
Please visit:
http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html
591 citations
••
TL;DR: A new class of finite automata on infinite trees for which the emptiness problem can be solved in polynomial time is presented, and exponential decision procedures for modal logics of programs are given.
578 citations
•
01 Jan 2013
TL;DR: The Barcan Formula and its Converse: Early Developments 3. Possible Worlds Model Theory 4. Predication and Modality 5. From First Order to Higher-Order Modal Logic 6. Intensional Comprehension Principles and Metaphysics 7. Mappings between Contingentist and Necessitist Discourse 8. Consequences of necessitism as discussed by the authors.
Abstract: Preface 1. Contingentism and Necessitism 2. The Barcan Formula and its Converse: Early Developments 3. Possible Worlds Model Theory 4. Predication and Modality 5. From First-Order to Higher-Order Modal Logic 6. Intensional Comprehension Principles and Metaphysics 7. Mappings between Contingentist and Necessitist Discourse 8. Consequences of necessitism Methodological Afterword Bibliography Index
466 citations
•
31 Oct 1998TL;DR: In this article, Propositional Modal Logic and First-Order Axiom Systems have been proposed for the first-order tableau proof system, which is based on the notion of equality.
Abstract: Preface. 1. Propositional Modal Logic. 2. Tableau Proof Systems. 3. Axiom Systems. 4. Quantified Modal Logic. 5. First-Order Tableaus. 6. First-Order Axiom Systems. 7. Equality. 8. Existence and Actualist Quantification. 9. Terms and Predicate Abstraction. 10. Abstraction Continued. 11. Designation. 12. Definite Descriptions. References. Index.
451 citations