Subjects -> PHILOSOPHY (Total: 762 journals)
 Showing 1 - 135 of 135 Journals sorted by number of followers Philosophical Review       (Followers: 72) Ethics       (Followers: 69) European Journal of Philosophy       (Followers: 68) Journal of Political Philosophy       (Followers: 65) Mind       (Followers: 64) Australasian Journal of Philosophy       (Followers: 58) Philosophy & Public Affairs       (Followers: 57) International Journal for Philosophy of Religion       (Followers: 52) Contemporary Political Theory       (Followers: 52) Nous       (Followers: 52) Journal of the History of Philosophy       (Followers: 48) Philosophical Quarterly       (Followers: 47) British Journal for the History of Philosophy       (Followers: 43) Journal of Applied Philosophy       (Followers: 43) American Journal of Theology & Philosophy       (Followers: 42) British Journal for the Philosophy of Science       (Followers: 40) Journal of Moral Philosophy       (Followers: 37) Analysis       (Followers: 37) Philosophy and Phenomenological Research       (Followers: 36) Philosophy of Science       (Followers: 33) Journal of Medical Ethics       (Followers: 32) Erkenntnis       (Followers: 31) Philosophy and Literature       (Followers: 31) Continental Philosophy Review       (Followers: 28) Inquiry : An Interdisciplinary Journal of Philosophy       (Followers: 28) Journal of Social Philosophy       (Followers: 27) Journal of Ethics & Social Philosophy       (Followers: 27) Constellations       (Followers: 27) Canadian Journal of Philosophy       (Followers: 25) Social Philosophy and Policy       (Followers: 25) Ethical Theory and Moral Practice       (Followers: 24) British Journal of Aesthetics       (Followers: 23) Journal of Law, Medicine & Ethics       (Followers: 23) Philosophy & Social Criticism       (Followers: 22) Philosophical Studies       (Followers: 22) Linguistics and Philosophy       (Followers: 22) Philosophy and Rhetoric       (Followers: 21) The Heythrop Journal       (Followers: 21) Philosophy Compass       (Followers: 19) BMC Medical Ethics       (Followers: 19) Biology and Philosophy       (Followers: 18) Journal of Medical Ethics and History of Medicine       (Followers: 18) Philosophy       (Followers: 17) Philosophers' Imprint       (Followers: 17) Jurisprudence       (Followers: 17) Assuming Gender       (Followers: 16) Mouseion: Journal of the Classical Association of Canada       (Followers: 16) Journal of the Philosophy of History       (Followers: 16) Pragmatics & Cognition       (Followers: 16) Philosophy East and West       (Followers: 15) International Studies in the Philosophy of Science       (Followers: 15) Bioethics Research Notes       (Followers: 15) Midwest Studies In Philosophy       (Followers: 14) Journal of Media Ethics : Exploring Questions of Media Morality       (Followers: 14) Episteme       (Followers: 14) Phronesis : A journal for Ancient Philosophy       (Followers: 13) Social Epistemology: A Journal of Knowledge, Culture and Policy       (Followers: 13) Philosophy & Technology       (Followers: 13) Review of Philosophy and Psychology       (Followers: 13) Pragmatics and Society       (Followers: 12) Reformed Theological Review, The       (Followers: 12) Ethical Perspectives       (Followers: 12) Journal of Indian Philosophy       (Followers: 12) Journal of Global Ethics       (Followers: 12) Journal of Chinese Philosophy       (Followers: 12) Philosophy of Photography       (Followers: 11) Philosophy, Psychiatry, & Psychology       (Followers: 11) Open Journal of Philosophy       (Followers: 11) Utilitas       (Followers: 11) Estudos Bíblicos       (Followers: 11) Dao : A Journal of Comparative Philosophy       (Followers: 11) Pacific Philosophical Quarterly       (Followers: 10) Kennedy Institute of Ethics Journal       (Followers: 10) Metaphor and Symbol       (Followers: 10) Polis : The Journal of the Society for Greek Political Thought       (Followers: 10) HTS Theological Studies       (Followers: 9) Journal of Philosophical Logic       (Followers: 9) Film-Philosophy Journal       (Followers: 9) Journal of the Gilded Age and Progressive Era       (Followers: 9) Research in Phenomenology       (Followers: 9) Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences       (Followers: 9) Philosophical Books       (Followers: 8) Philosophia       (Followers: 8) Diogenes       (Followers: 8) Philosophical Perspectives       (Followers: 8) Myth & Symbol       (Followers: 8) Nordic Journal of Aesthetics       (Followers: 7) Journal of Speculative Philosophy       (Followers: 7) Metaphilosophy       (Followers: 7) African Journal of Business Ethics       (Followers: 7) Medicine, Health Care and Philosophy       (Followers: 7) SubStance       (Followers: 7) Contagion : Journal of Violence, Mimesis, and Culture       (Followers: 7) Philosophical Issues       (Followers: 7) Contributions to the History of Concepts       (Followers: 7) International Journal of Philosophical Studies       (Followers: 7) The Southern Journal of Philosophy       (Followers: 6) Philosophical Explorations: An International Journal for the Philosophy of Mind and Action       (Followers: 6) Axiomathes       (Followers: 6) Philosophical Investigations       (Followers: 6) Contemporary Chinese Thought       (Followers: 6) Dialogue Canadian Philosophical Review/Revue canadienne de philosophie       (Followers: 6) History and Philosophy of Logic       (Followers: 6) Think       (Followers: 6) Philosophical Magazine Letters       (Followers: 6) Zeitschrift für philosophische Forschung       (Followers: 6) Journal of Critical Realism       (Followers: 5) Journal of Empirical Research on Human Research Ethics       (Followers: 5) Endeavour       (Followers: 5) Australasian Catholic Record, The       (Followers: 5) Journal of Nietzsche Studies       (Followers: 5) Critical Horizons       (Followers: 5) Aisthesis       (Followers: 5) Philosophical Papers       (Followers: 5) Review of Contemporary Philosophy       (Followers: 5) International Journal of the Platonic Tradition       (Followers: 5) Zeitschrift für Religions- und Geistesgeschichte       (Followers: 5) Bochumer Philosophisches Jahrbuch für Antike und Mittelalter       (Followers: 4) Transactions of the Charles S. Peirce Society       (Followers: 4) Journal of Theoretical & Philosophical Psychology       (Followers: 4) National Catholic Bioethics Quarterly       (Followers: 4) The Philosophical Forum       (Followers: 4) Royal Institute of Philosophy Supplements       (Followers: 4) Church Heritage       (Followers: 4) Franciscan Studies       (Followers: 4) South African Journal of Philosophy = Suid-Afrikaanse Tydskrif vir Wysbegeerte       (Followers: 4) Hume Studies       (Followers: 4) Philosophy in Review       (Followers: 4) Australian Humanist, The       (Followers: 3) Journal of Religion and Business Ethics       (Followers: 3) Studia Logica       (Followers: 3) The Pluralist       (Followers: 3) Recherches de Théologie et Philosophie Médiévales       (Followers: 3) Russell : the Journal of Bertrand Russell Studies       (Followers: 3) Studies in Philology       (Followers: 3) CR : The New Centennial Review       (Followers: 3) Utopian Studies       (Followers: 3) Kantian Review       (Followers: 3) Bulletin de Philosophie Medievale       (Followers: 3) Topoi       (Followers: 3) Bijdragen       (Followers: 3) International Journal for the Study of Skepticism       (Followers: 2) International Journal of Žižek Studies       (Followers: 2) Empedocles : European Journal for the Philosophy of Communication       (Followers: 2) Horizonte : Revista de Estudos de Teologia e Ciências da Religião       (Followers: 2) Cultura : International Journal of Philosophy of Culture and Axiology       (Followers: 2) Erasmus Studies       (Followers: 2) Socioaffective Neuroscience and Psychology       (Followers: 2) Between the Species       (Followers: 2) Journal of Friends of Lutheran Archives       (Followers: 2) Journal of Scottish Philosophy       (Followers: 2) Poiesis & Praxis : International Journal of Technology Assessment and Ethics of Science       (Followers: 2) Journal of Aesthetic Education       (Followers: 2) Sartre Studies International       (Followers: 2) Quaestio       (Followers: 2) Grazer Philosophische Studien       (Followers: 2) Kriterion: Revista de Filosofia       (Followers: 2) Philosophy & Theory in Biology       (Followers: 2) Australian Journal of Parapsychology       (Followers: 2) Éthique publique       (Followers: 1) Noesis       (Followers: 1) Philosophia Scientiæ       (Followers: 1) Revue Philosophique de Louvain       (Followers: 1) Nóema       (Followers: 1) International Journal of Social Quality       (Followers: 1) Revista Latinoamericana de Filosofía       (Followers: 1) PAN: Philosophy Activism Nature       (Followers: 1) Temporalités       (Followers: 1) Le Portique       (Followers: 1) Ethische Perspectieven       (Followers: 1) Journal of Humanistic Mathematics       (Followers: 1) Laval théologique et philosophique       (Followers: 1) Revue d’études benthamiennes       (Followers: 1) Eleutheria       (Followers: 1) Husserl Studies       (Followers: 1) Veritas : Revista de Filosofí­a y Teología       (Followers: 1) Hobbes Studies       (Followers: 1) Collingwood and British Idealism Studies Grotiana Signos Filosóficos Eidos Cinta de Moebio Cuyo Anuario de Filosofía Argentina y Americana Tópicos. Revista de Filosofía de Santa Fe Rhuthmos Philosophiques Ramon Llull Journal of Applied Ethics Studia Philosophica Estonica Synthesis (La Plata) Revista de Filosofia Alpha (Osorno) Circe de clásicos y modernos Estudios de Filosofía Práctica e Historia de las Ideas Doctor virtualis Humanidades Médicas Methodos Labyrinthe Astérion Trans/Form/Ação - Revista de Filosofia Russian Studies in Philosophy
Similar Journals
 Studia LogicaJournal Prestige (SJR): 0.353 Citation Impact (citeScore): 1Number of Followers: 3      Hybrid journal (It can contain Open Access articles) ISSN (Print) 1572-8730 - ISSN (Online) 0039-3215 Published by Springer-Verlag  [2467 journals]
• Correction to: A Modal View on Resource-Bounded Propositional Logics

PubDate: 2022-12-01

• Logics of Order and Related Notions

Abstract: Abstract The aim of the paper is twofold. First, we want to recapture the genesis of the logics of order. The origin of this notion is traced back to the work of Jerzy Kotas, Roman Suszko, Richard Routley and Robert K. Meyer. A further development of the theory of logics of order is presented in the papers of Jacek K. Kabziński. Quite contemporarily, this notion gained in significance in the papers of Carles Noguera and Petr Cintula. Logics of order are named there logics of weak implications. They play a crucial role in their monograph (Noguera and Cintula Logic and Implication. An Introduction to the General Algebraic Study of Non-Classical Logics, Trends in Logic 57, Springer, Berlin, 2021). But, more importantly, the other goal is to define some subclasses of the logics of order in reference to later results of Jacek K. Kabziński and Michael Dunn. The original conception of implication is due to Kabziński. Implication is a stronger notion than the notion of the connective of order aka weak implication. As a result, the three subclasses of logics of order are isolated: logics of implication, logics of symmetry, and tonoidal logics. These notions are uniformly defined and investigated from various viewpoints in terms of consequence operations. The emphasis is put on their semantics.
PubDate: 2022-12-01

• On Relative Principal Congruences in Term Quasivarieties

Abstract: Abstract Let $${\mathcal {K}}$$ be a quasivariety. We say that $${\mathcal {K}}$$ is a term quasivariety if there exist an operation of arity zero e and a family of binary terms $$\{t_i\}_{i\in I}$$ such that for every $$A \in {\mathcal {K}}$$ , $$\theta$$ a $${\mathcal {K}}$$ -congruence of A and $$a,b\in A$$ the following condition is satisfied: $$(a,b)\in \theta$$ if and only if $$(t_{i}(a,b),e) \in \theta$$ for every $$i\in I$$ . In this paper we study term quasivarieties. For every $$A\in {\mathcal {K}}$$ and $$a,b\in A$$ we present a description for the smallest $${\mathcal {K}}$$ -congruence containing the pair (a, b). We apply this result in order to characterize $${\mathcal {K}}$$ -compatible functions on A (i.e., functions which preserve all the $${\mathcal {K}}$$ -congruences of A) and we give two applications of this property: (1) we give necessary conditions on $${\mathcal {K}}$$ for which for every $$A \in {\mathcal {K}}$$ the $${\mathcal {K}}$$ -compatible functions on A coincides with a polynomial over finite subsets of A; (2) we give a method to build up $${\mathcal {K}}$$ -compatible functions.
PubDate: 2022-12-01

• Natural Deduction Systems for Intuitionistic Logic with Identity

Abstract: Abstract The aim of the paper is to present two natural deduction systems for Intuitionistic Sentential Calculus with Identity (ISCI); a syntactically motivated $$\mathsf {ND}^1_{\mathsf {ISCI}}$$ and a semantically motivated $$\mathsf {ND}^2_{\mathsf {ISCI}}$$ . The formulation of $$\mathsf {ND}^1_{\mathsf {ISCI}}$$ is based on the axiomatic formulation of ISCI. Its rules cannot be straightforwardly classified as introduction or elimination rules; ISCI-specific rules are based on axioms characterizing the identity connective. The system does not enjoy the standard subformula property, but due to the normalization procedure non-subformulas can label only leaves of proofs. In $$\mathsf {ND}^2_{\mathsf {ISCI}}$$ , we propose only two general identity-related rules, in reference to the treatment of the identity connective in First-Order Logic.
PubDate: 2022-12-01

• The G4i Analogue of a G3i Sequent Calculus

Abstract: Abstract This paper provides a method to obtain terminating analytic calculi for a large class of intuitionistic modal logics. For a given logic L with a cut-free calculus G that is an extension of G3ip the method produces a terminating analytic calculus that is an extension of G4ip and equivalent to G. G4ip was introduced by Roy Dyckhoff in 1992 as a terminating analogue of the calculus G3ip for intuitionistic propositional logic. Thus this paper can be viewed as an extension of Dyckhoff’s work to intuitionistic modal logic.
PubDate: 2022-12-01

• On the Proof Theory of Infinitary Modal Logic

Abstract: Abstract The article deals with infinitary modal logic. We first discuss the difficulties related to the development of a satisfactory proof theory and then we show how to overcome these problems by introducing a labelled sequent calculus which is sound and complete with respect to Kripke semantics. We establish the structural properties of the system, namely admissibility of the structural rules and of the cut rule. Finally, we show how to embed common knowledge in the infinitary calculus and we discuss first-order extensions of infinitary modal logic.
PubDate: 2022-12-01

• The Quantified Argument Calculus with Two- and Three-valued
Truth-valuational Semantics

Abstract: Abstract We introduce a two-valued and a three-valued truth-valuational substitutional semantics for the Quantified Argument Calculus (Quarc). We then prove that the 2-valid arguments are identical to the 3-valid ones with strict-to-tolerant validity. Next, we introduce a Lemmon-style Natural Deduction system and prove the completeness of Quarc on both two- and three-valued versions, adapting Lindenbaum’s Lemma to truth-valuational semantics. We proceed to investigate the relations of three-valued Quarc and the Predicate Calculus (PC). Adding a logical predicate T to Quarc, true of all singular arguments, allows us to represent PC quantification in Quarc and translate PC into Quarc, preserving validity. Introducing a weak existential quantifier into PC allows us to translate Quarc into PC, also preserving validity. However, unlike the translated systems, neither extended system can have a sound and complete proof system with Cut, supporting the claim that these are basically different calculi.
PubDate: 2022-11-25

• Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics

Abstract: Abstract Kapsner strong logics, originally studied in the context of connexive logics, are those in which all formulas of the form $$A\rightarrow \lnot A$$ or $$\lnot A\rightarrow A$$ are unsatisfiable, and in any model at most one of $$A\rightarrow B, A\rightarrow \lnot B$$ is satisfied. In this paper, such logics are studied algebraically by means of algebraic structures in which negation is modeled by an operator $$\lnot$$ s.t. any element a is incomparable with $$\lnot a$$ . A range of properties which are (in)compatible with such operators are studied, and examples are given; finally, the question of which further operators can be added to such structures is broached.
PubDate: 2022-11-25

• On Categorical Equivalence of Weak Monadic Residuated Distributive

Abstract: Abstract The category $$\mathbb {DRDL}{'}$$ , whose objects are c-differential residuated distributive lattices satisfying the condition $$\textbf{CK}$$ , is the image of the category $$\mathbb {RDL}$$ , whose objects are residuated distributive lattices, under the categorical equivalence $$\textbf{K}$$ that is constructed in Castiglioni et al. (Stud Log 90:93–124, 2008). In this paper, we introduce weak monadic residuated lattices and study some of their subvarieties. In particular, we use the functor $$\textbf{K}$$ to relate the category $$\mathbb {WMRDL}$$ , whose objects are weak monadic residuated distributive lattices, and the category $$\mathbb {WMDRDL}{'}$$ , whose objects are pairs formed by an object of $$\mathbb {DRDL}{'}$$ and a center weak universal quantifier.
PubDate: 2022-11-25

• Infinitary Action Logic with Multiplexing

Abstract: Abstract Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility for these calculi, and estimate the complexity of the corresponding derivability problems: in both cases it will turn out to be between complete first-order arithmetic and the $$\omega ^\omega$$ level of the hyperarithmetical hierarchy. Here the complexity upper bound is much lower than that for the system with a subexponential that allows contraction. The complexity lower bound in turn is much higher than that for infinitary action logic.
PubDate: 2022-11-21

• The Categorical Equivalence Between Domains and Interpolative Generalized
Closure Spaces

Abstract: Abstract Closure space has been proven to be a useful tool to restructure lattices and various order structures. This paper aims to provide an approach to characterizing domains by means of closure spaces. The notion of an interpolative generalized closure space is presented and shown to generate exactly domains, and the notion of an approximable mapping between interpolative generalized closure spaces is identified to represent Scott continuous functions between domains. These produce a category equivalent to that of domains with Scott continuous functions. Meanwhile, some important subclasses of domains are discussed, such as algebraic domains, L-domains, bounded-complete domains, and continuous lattices. Conditions are presented which, when fulfilled by an interpolative generalized closure space, make the generated domain fulfill some restrictive conditions.
PubDate: 2022-11-15

• Finite Model Property in Weakly Transitive Tense Logics

Abstract: Abstract The finite model property (FMP) in weakly transitive tense logics is explored. Let $$\mathbb {S}=[\textsf{wK}_t\textsf{4}, \textsf{K}_t\textsf{4}]$$ be the interval of tense logics between $$\textsf{wK}_t\textsf{4}$$ and $$\textsf{K}_t\textsf{4}$$ . We introduce the modal formula $$\textrm{t}_0^n$$ for each $$n\ge 1$$ . Within the class of all weakly transitive frames, $$\textrm{t}_0^n$$ defines the class of all frames in which every cluster has at most n irreflexive points. For each $$n\ge 1$$ , we define the interval $$\mathbb {S}_n=[\textsf{wK}_t\textsf{4T}_0^{n+1}, \textsf{wK}_t\textsf{4T}_0^{n}]$$ which is a subset of $$\mathbb {S}$$ . There are $$2^{\aleph _0}$$ logics in $$\mathbb {S}_n$$ lacking the FMP, and there are $$2^{\aleph _0}$$ logics in $$\mathbb {S}_n$$ having the FMP. Then we explore the FMP in finitely alternative tense logics $$L_{n,m}=L\oplus \{\textrm{Alt}_n^F, \textrm{Alt}_m^P\}$$ with $$n,m\ge 0$$ and $$L\in \mathbb {S}$$ . For all $$k\ge 0$$ and $$n,m\ge 1$$ , we define intervals $$\mathbb {F}^k_{n,m}$$ , $$\mathbb {P}^k_{n,m}$$ and $$\mathbb {S}^k_{n,m}$$ of tense logics. The number of logics lacking the FMP in them is either 0 or $$2^{\aleph _0}$$ , and the number of logics having the FMP in them is either finite or $$2^{\aleph _0}$$ .
PubDate: 2022-11-15

• Hereditarily Structurally Complete Intermediate Logics: Citkin’s
Theorem Via Duality

Abstract: Abstract A deductive system is said to be structurally complete if its admissible rules are derivable. In addition, it is called hereditarily structurally complete if all its extensions are structurally complete. Citkin (1978) proved that an intermediate logic is hereditarily structurally complete if and only if the variety of Heyting algebras associated with it omits five finite algebras. Despite its importance in the theory of admissible rules, a direct proof of Citkin’s theorem is not widely accessible. In this paper we offer a self-contained proof of Citkin’s theorem, based on Esakia duality and the method of subframe formulas. As a corollary, we obtain a short proof of Citkin’s 2019 characterization of hereditarily structurally complete positive logics.
PubDate: 2022-11-02

• There are Infinitely Many Mersenne Prime Numbers. Applications of
Rasiowa–Sikorski Lemma in Arithmetic (II)

Abstract: Abstract The paper is concerned with the old conjecture that there are infinitely many Mersenne primes. It is shown in the work that this conjecture is true in the standard model of arithmetic. The proof refers to the general approach to first–order logic based on Rasiowa-Sikorski Lemma and the derived notion of a Rasiowa–Sikorski set. This approach was developed in the papers [2–4]. This work is a companion piece to [4].
PubDate: 2022-10-25

• Hilbert Algebras with Hilbert–Galois Connections

Abstract: Abstract In this paper we introduce Hilbert algebras with Hilbert–Galois connections (HilGC-algebras) and we study the Hilbert–Galois connections defined in Heyting algebras, called HGC-algebras. We assign a categorical duality between the category HilGC-algebras with Hilbert homomorphisms that commutes with Hilbert–Galois connections and Hilbert spaces with certain binary relations and whose morphisms are special functional relations. We also prove a categorical duality between the category of Heyting Galois algebras with Heyting homomorphisms that commutes with Hilbert–Galois connections and the category of spectral Heyting spaces endowed with a binary relation with certain special continuous maps.
PubDate: 2022-10-25

• The Twin Primes Conjecture is True in the Standard Model of Peano
Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I)

Abstract: Abstract The paper is concerned with the old conjecture that there are infinitely many twin primes. In the paper we show that this conjecture is true, that is, it is true in the standard model of arithmetic. The proof is based on Rasiowa–Sikorski Lemma. The key role are played by the derived notion of a Rasiowa–Sikorski set and the method of forcing adjusted to arbitrary first–order languages. This approach was developed in the papers Czelakowski [4, 5]. The central idea consists in constructing an appropriate countable model $$\textbf{A}$$ of Peano arithmetic by means of a Rasiowa–Sikorski set. This model validates the twin prime conjecture. Since $$\textbf{A}$$ is elementarily equivalent to the standard model, the conjecture follows. Thus the standard model validates the twin primes conjecture. More generally, it is shown that de Polignac’s conjecture has a positive solution. The paper employs methods borrowed from the contemporary mathematical logic. Such a ’logical’ approach may be viewed as a useful addition to the dominant methodology in number theory based on mathematical analysis.
PubDate: 2022-10-25

• Notes on Models of (Partial) Kripke–Feferman Truth

Abstract: Abstract This article investigates models of axiomatizations related to the semantic conception of truth presented by Kripke (J Philos 72(19):690–716, 1975), the so-called fixed-point semantics. Among the various proof systems devised as a proof-theoretic characterization of the fixed-point semantics, in recent years two alternatives have received particular attention: classical systems (i.e., systems based on classical logic) and nonclassical systems (i.e., systems based on some nonclassical logic). The present article, building on Halbach and Nicolai (J Philos Log 47(2):227–257, 2018), shows that there is a sense in which classical and nonclassical theories (in suitable variants) have the same models.
PubDate: 2022-10-15

• Linear L-Algebras and Prime Factorization

Abstract: Abstract A complete recursive description of noetherian linear KL-algebras is given. L-algebras form a quantum structure that occurs in algebraic logic, combinatorial group theory, measure theory, geometry, and in connection with solutions to the Yang-Baxter equation. It is proved that the self-similar closure of a noetherian linear KL-algebra is determined by its partially ordered set of primes, and that its elements admit a unique factorization by a decreasing sequence of prime elements.
PubDate: 2022-10-14

• Modal Companions of $$K4^{+}$$

Abstract: Abstract We study modal companions of $$K4^+$$ , the strictly positive fragment of K4. We partially find the boundary between all normal extensions of K4 and modal companions of $$K4^+$$ among them. We also show that there is no greatest modal companion of $$K4^+$$ .
PubDate: 2022-10-01
DOI: 10.1007/s11225-022-10001-w

• Loop-Check Specification for a Sequent Calculus of Temporal Logic

Abstract: Abstract In our previous work we have introduced loop-type sequent calculi for propositional linear discrete tense logic and proved that these calculi are sound and complete. Decision procedures using the calculi have been constructed for the considered logic. In the present paper we restrict ourselves to the logic with the unary temporal operators “next” and “henceforth always”. Proof-theory of the sequent calculus of this logic is considered, focusing on loop specification in backward proof-search. We describe cyclic sequents and prove that any loop consists of only cyclic sequents. A class of sequents for which backward proof-search do not require loop-check is presented. It is shown how sequents can be coded by binary strings that are used in backward proof-search for the sake of more efficient loop-check.
PubDate: 2022-08-30
DOI: 10.1007/s11225-022-10010-9

JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762