F. Wolter, H. Wansing, M. de Rijke, M. Zakharyaschev  Home/Search
Context
Related
| math.fuberlin.de/pub...krachtkutz2.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: math.fuberlin.de/user/kracht/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we first single out a rich class of first--order modal logics, which are normal extensions of our base logic FK. This base logic is obtained from a combination of positive free logic with identity, PFL (Update)
Active bibliography (related documents): More All
1.4: First-Order Intensional Logic - Fitting (2003) (Correct)
0.5: Tableau Style Proof Systems for. . . - Bloesch (1994) (Correct)
0.3: First-order expressivity for S5-models: modal vs. two-sorted.. - Sturm, Wolter (2000) (Correct)
Similar documents based on text: More All
0.8: The Semantics of Modal Predicate Logic II. Modal Individuals.. - Kracht, Kutz (Correct)
0.6: Bimodal Logics for Reasoning about Continuous Dynamics - Davoren, Goré (2001) (Correct)
0.5: Double Time References: Speech-act Reports as Modalities in an.. - Belnap (Correct)
BibTeX entry: (Update)
@misc{ wolter-advances,
author = "F. Wolter and H. Wansing and M. de Rijke and M. Zakharyaschev",
title = "Advances in Modal Logic, Volume 3",
url = "citeseer.ist.psu.edu/article/wolter00advances.html" }
Citations (may not include all citations):21 First--Order Modal Logic (context) - Melvin, Mendelsohn - 1998
21 Tools and Techniques in Modal Logic (context) - Marcus - 1999
14 Free Logics (context) - Ermanno - 1986
9 A Puzzle About Belief (context) - Saul - 1979
9 Incompleteness Results in Kripke Semantics (context) - Silvio - 1991 ACM DBLP
4 Maximal Kripke--type semantics for modal and superintuitioni.. (context) - Skvortsov - 1993
2 Existential Presuppositions and Their Elimination (context) - Jaakko - 1969
2 Quantified Extensions of Canonical Propositional Intermediat.. (context) - Ghilardi - 1992 DBLP
2 Duality in Superintuitionistic and Modal Predicate Logics (context) - Hiroyuki - 1998
1 Karel Lambert (context) - Ermanno - 1982
1 Tableaus and Godels God (context) - Melvin - 2000
1 Kripke--Typ Semantiken fur die modale Pradikatenlogik (context) - Oliver - 2000
1 Applications of Free Logic to Quantified Intensional Logic (context) - James - 1991
1 Free Logics: Their Foundations (context) - Karel - 1997
Documents on the same site (http://www.math.fu-berlin.de/user/kracht/): More
Strict Compositionality and Literal Movement Grammars - Kracht (2000) (Correct)
Modal Logics that Need Very Large Frames - Kracht (Correct)
Mathematical Aspects of Command Relations - Kracht (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC