- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
|
|
|
In the modal literature various notions of "completeness" have been studied for normal modal logics. Four of these are defined here, viz. completeness, first-order completeness, canonicity and possession of the finite model property -- and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability and (...) |
|
|
We study two notions of definability for classes of relational structures based on modal extensions of Łukasiewicz finitely-valued logics. The main results of the paper are the equivalent of the Goldblatt-Thomason theorem for these notions of definability. |
|
|
|
|
|
There exist two known types of ultrafilter extensions of first-order models, both in a certain sense canonical. One of them comes from modal logic and universal algebra, and in fact goes back to Jónsson and Tarski :891–939, 1951; 74:127–162, 1952). Another one The infinity project proceeding, Barcelona, 2012) comes from model theory and algebra of ultrafilters, with ultrafilter extensions of semigroups as its main precursor. By a classical fact of general topology, the space of ultrafilters over a discrete space is (...) No categories |
|
|
We characterize the modal logics of elementary classes of Kripke frames as precisely those modal logics that are axiomatized by modal axioms synthesized in a certain effective way from "quasi-positive" sentences of hybrid logic. These are pure positive hybrid sentences with arbitrary existential and relativized universal quantification over nominals. The proof has three steps. The first step is to use the known result that the modal logic of any elementary class of Kripke frames is also the modal logic of the (...) |
|
|
|
|
|
We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...) |
|
|
In this paper we define and examine frame constructions for the family of manyvalued modal logics introduced by M. Fitting in the '90s. Every language of this family is built on an underlying space of truth values, a Heyting algebra H. We generalize Fitting's original work by considering complete Heyting algebras as truth spaces and proceed to define a suitable notion of H-indexed families of generated subframes, disjoint unions and bounded morphisms. Then, we provide an algebraic generalization of the canonical (...) |
|
|
We investigate complex algebras of the form arising from a frame where, and exhibit their abstract algebraic and logical counterparts. |
|
|
In the modal literature various notions of completeness have been studied for normal modal logics. Four of these are defined here, viz. (plain) completeness, first-order completeness, canonicity and possession of the finite model property — and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability (...) |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-4c2ch uwo