Switch to: References

Citations of:

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

Dov M. Gabbay

Dordrecht and Boston: Reidel (1976)

Add citations

You must login to add citations.

Quantification in Some Non-normal Modal Logics.Erica Calardo & Antonino Rotolo - 2017 - Journal of Philosophical Logic 46 (5):541-576.details This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal systems (...) Download Export citation Bookmark 2 citations
The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.details The system R, or more precisely the pure implicational fragment R›, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict relevant implication. The next system of relevance logic is RM or R-mingle. The question is whether adding mingle axiom to R› yields the pure implicational fragment RM› of the system? As concerns the weak systems there are at least two (...) Download Export citation Bookmark
Formal Ontology and Conceptual Realism.Nino Barnabas Cocchiarella - 2007 - Dordrecht, Netherland: Springer.details Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme. Download Export citation Bookmark 23 citations
Boulesic-Doxastic Logic.Daniel Rönnedal - 2019 - Australasian Journal of Logic 16 (3):83-132.details In this paper, I will develop a set of boulesic-doxastic tableau systems and prove that they are sound and complete. Boulesic-doxastic logic consists of two main parts: a boulesic part and a doxastic part. By ‘boulesic logic’ I mean ‘the logic of the will’, and by ‘doxastic logic’ I mean ‘the logic of belief’. The first part deals with ‘boulesic’ concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of boulesic expression: ‘individual x wants it to be (...) Download Export citation Bookmark 2 citations
Where have all the Californian tense-logicians gone?Woosuk Park - 2016 - Synthese 193 (11):3701-3712.details Arthur N. Prior, in the Preface of Past, Present and Future, made clear his indebtedness to “the very lively tense-logicians of California for many discussions”. Strangely,with a notable exception of Copeland, there is no extensive discussion of these scholars in the literature on the history of tense logic. In this paper, I propose to study how Nino B. Cocchiarella, as one of the Californian tense-logicians, interacted with Prior in the late 1960s. By gathering clues from their correspondence available at Virtual (...) Download Export citation Bookmark

1