scholarly journals Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces

2016 ◽  
Vol 2016 ◽  
pp. 1-3
Author(s):  
Maria Nogin ◽  
Bing Xu
Keyword(s):  
Modal Logic ◽  
Classical Logic ◽  
Topological Spaces ◽  
Quotient Spaces ◽  
Cw Complexes

In this paper we consider the topological interpretations of L□, the classical logic extended by a “box” operator □ interpreted as interior. We present extensions of S4 that are sound over some families of topological spaces, including particular point topological spaces, excluded point topological spaces, and quotient spaces of finite CW-complexes.

QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE

2014 ◽  
Vol 7 (3) ◽  
pp. 439-454 ◽  
Author(s):  
PHILIP KREMER
Keyword(s):  
Modal Logic ◽  
Real Line ◽  
Topological Spaces ◽  
Topological Semantics ◽  
Cantor Space ◽  
Quantified Modal Logic ◽  
Propositional Modal Logic ◽  
The Family ◽  
Modal Logic S4 ◽  
Rational Line

AbstractIn the topological semantics for propositional modal logic, S4 is known to be complete for the class of all topological spaces, for the rational line, for Cantor space, and for the real line. In the topological semantics for quantified modal logic, QS4 is known to be complete for the class of all topological spaces, and for the family of subspaces of the irrational line. The main result of the current paper is that QS4 is complete, indeed strongly complete, for the rational line.

Lie models for topological spaces and CW complexes

2001 ◽  
pp. 322-336
Author(s):  
Yves Félix ◽  
Stephen Halperin ◽  
Jean-Claude Thomas
Keyword(s):  
Topological Spaces ◽  
Cw Complexes

scholarly journals Tree Trimming: Four Non-Branching Rules for Priest’s Introduction to Non-Classical Logic

2017 ◽  
Vol 12 (2) ◽  
Author(s):  
Marilynn Johnson
Keyword(s):  
Modal Logic ◽  
Classical Logic ◽  
Variable Domain ◽  
Free Logic ◽  
Intuitionist Logic ◽  
Branching Rule ◽  
Branching Rules ◽  
Graham Priest

In An Introduction to Non-Classical Logic: From If to Is Graham Priest (2008) presents branching rules in Free Logic, Variable Domain Modal Logic, and Intuitionist Logic. I propose a simpler, non-branching rule to replace Priest’s rule for universal instantiation in Free Logic, a second, slightly modified version of this rule to replace Priest’s rule for universal instantiation in Variable Domain Modal Logic, and third and fourth rules, further modifying the second rule, to replace Priest’s branching universal and particular instantiation rules in Intuitionist Logic. In each of these logics the proposed rule leads to tableaux with fewer branches. In Intuitionist logic, the proposed rules allow for the resolution of a particular problem Priest grapples with throughout the chapter. In this paper, I demonstrate that the proposed rules can greatly simplify tableaux and argue that they should be used in place of the rules given by Priest.

Bifurcation Diagrams and Quotient Topological Spaces Under the Action of the Affine Group of a Family of Planar Quadratic Vector Fields

2015 ◽  
Vol 25 (11) ◽  
pp. 1550150 ◽  
Author(s):  
Oxana Cerba Diaconescu ◽  
Dana Schlomiuk ◽  
Nicolae Vulpe
Keyword(s):  
Parameter Space ◽  
Group Action ◽  
Sufficient Conditions ◽  
Phase Portraits ◽  
Topological Spaces ◽  
Canonical Forms ◽  
Affine Transformations ◽  
Bifurcation Diagrams ◽  
Dimensional Parameter ◽  
Quotient Spaces

In this article, we consider the class [Formula: see text] of all real quadratic differential systems [Formula: see text], [Formula: see text] with gcd (p, q) = 1, having invariant lines of total multiplicity four and two complex and one real infinite singularities. We first construct compactified canonical forms for the class [Formula: see text] so as to include limit points in the 12-dimensional parameter space of this class. We next construct the bifurcation diagrams for these compactified canonical forms. These diagrams contain many repetitions of phase portraits and we show that these are due to many symmetries under the group action. To retain the essence of the dynamics we finally construct the quotient spaces under the action of the group G = Aff(2, ℝ) × ℝ* of affine transformations and time homotheties and we place the phase portraits in these quotient spaces. The final diagrams retain only the necessary information to capture the dynamics under the motion in the parameter space as well as under this group action. We also present here necessary and sufficient conditions for an affine line to be invariant of multiplicity k for a quadratic system.

7. Deducing

2020 ◽  
pp. 74-88
Author(s):  
Timothy Williamson
Keyword(s):  
Modal Logic ◽  
Classical Logic ◽  
Logical Inference ◽  
Disjunctive Syllogism ◽  
Philosophical Concept ◽  
The Law ◽  
The Difference ◽  
Excluded Middle

Detective work is an important tool in philosophy. ‘Deducing’ explains the difference between valid and sound arguments. An argument is valid if its premises are true but is only sound if the conclusion is true. The Greek philosophers identified disjunctive syllogism—the idea that if something is not one thing, it must be another. This relates to another philosophical concept, the ‘law of the excluded middle’. An abduction is a form of logical inference which attempts to find the most likely explanation. Modal logic, an extension of classical logic, is a popular branch of logic for philosophical arguments.

Locally Compact Hjelmslev Planes and Rings

1981 ◽  
Vol 33 (4) ◽  
pp. 988-1021 ◽  
Author(s):  
J. W. Lorimer
Keyword(s):  
Projective Planes ◽  
Equivalence Relations ◽  
Topological Spaces ◽  
Hjelmslev Plane ◽  
Projective Hjelmslev Plane ◽  
Quotient Spaces ◽  
Continuous Maps ◽  
Topological Plane ◽  
Line Point ◽  
Canonical Image

Affine and projective Hjelmslev planes are generalizations of ordinary affine and projective planes where two points (lines) may be joined by (may intersect in) more than one line (point). The elements involved in multiple joinings or intersections are neighbours, and the neighbour relations on points respectively lines are equivalence relations whose quotient spaces define an ordinary affine or projective plane called the canonical image of the Hjelmslev plane. An affine or projective Hjelmslev plane is a topological plane (briefly a TH-plane and specifically a TAH-plane respectively a TPH-plane) if its point and line sets are topological spaces so that the joining of non-neighbouring points, the intersection of non-neighbouring lines and (in the affine case) parallelism are continuous maps, and the neighbour relations are closed.In this paper we continue our investigation of such planes initiated by the author in [38] and [39].

Suspension of the Lusternik-Schnirelmann Category

1970 ◽  
Vol 22 (6) ◽  
pp. 1129-1132
Author(s):  
William J. Gilbert
Keyword(s):  
Homotopy Type ◽  
Homotopy Class ◽  
Category Structure ◽  
Topological Spaces ◽  
Homotopy Classes ◽  
Cw Complexes ◽  
Lusternik Schnirelmann ◽  
Image Position ◽  
Simply Connected ◽  
Homotopy Invariants

Let cat be the Lusternik-Schnirelmann category structure as defined by Whitehead [6] and let be the category structure as defined by Ganea [2],We prove thatandIt is known that w ∑ cat X = conil X for connected X. Dually, if X is simply connected,1. We work in the category of based topological spaces with the based homotopy type of CW-complexes and based homotopy classes of maps. We do not distinguish between a map and its homotopy class. Constant maps are denoted by 0 and identity maps by 1.We recall some notions from Peterson's theory of structures [5; 1] which unify the definitions of the numerical homotopy invariants akin to the Lusternik-Schnirelmann category.

A proof-theoretic study of the correspondence of classical logic and modal logic

2003 ◽  
Vol 68 (4) ◽  
pp. 1403-1414 ◽  
Author(s):  
H. Kushida ◽  
M. Okada
Keyword(s):  
Modal Logic ◽  
Classical Logic ◽  
Predicate Logic ◽  
Transformation Method ◽  
Modal Operator ◽  
Theoretic Method ◽  
Barcan Formula ◽  
Theoretic Proof ◽  
Classical Predicate

AbstractIt is well known that the modal logic S5 can be embedded in the classical predicate logic by interpreting the modal operator in terms of a quantifier. Wajsberg [10] proved this fact in a syntactic way. Mints [7] extended this result to the quantified version of S5; using a purely proof-theoretic method he showed that the quantified S5 corresponds to the classical predicate logic with one-sorted variable. In this paper we extend Mints' result to the basic modal logic S4; we investigate the correspondence between the quantified versions of S4 (with and without the Barcan formula) and the classical predicate logic (with one-sorted variable). We present a purely proof-theoretic proof-transformation method, reducing an LK-proof of an interpreted formula to a modal proof.

The extensions of the modal logic K5

1985 ◽  
Vol 50 (1) ◽  
pp. 102-109 ◽  
Author(s):  
Michael C. Nagle ◽  
S. K. Thomason
Keyword(s):  
Modal Logic ◽  
Classical Logic ◽  
Abstract Characterization ◽  
Propositional Modal Logic ◽  
Normal Logic ◽  
Countably Infinite ◽  
Infinite Set

Our purpose is to delineate the extensions (normal and otherwise) of the propositional modal logic K5. We associate with each logic extending K5 a finitary index, in such a way that properties of the logics (for example, inclusion, normality, and tabularity) become effectively decidable properties of the indices. In addition we obtain explicit finite axiomatizations of all the extensions of K5 and an abstract characterization of the lattice of such extensions.This paper refines and extends the Ph.D. thesis [2] of the first-named author, who wishes to acknowledge his debt to Brian F. Chellas for his considerable efforts in directing the research culminating in [2] and [3]. We also thank W. J. Blok and Gregory Cherlin for observations which greatly simplified the proofs of Theorem 3 and Corollary 10.By a logic we mean a set of formulas in the countably infinite set Var of propositional variables and the connectives ⊥, →, and □ (other connectives being used abbreviatively) which contains all the classical tautologies and is closed under detachment and substitution. A logic is classical if it is also closed under RE (from A↔B infer □A ↔□B) and normal if it is classical and contains □ ⊤ and □ (P → q) → (□p → □q). A logic is quasi-classical if it contains a classical logic and quasi-normal if it contains a normal logic. Thus a quasi-normal logic is normal if and only if it is classical, and if and only if it is closed under RN (from A infer □A).

Sign in / Sign up

Export Citation Format

Share Document