On the public citation graph

Algebraic semantics for modal logics I

0 signed · 125 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/malq.19590051405openalex-snapshot

Modal Logics Between S 4 and S 5

inferredcites →https://doi.org/10.1002/malq.19630090502openalex-snapshot

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

inferredcites →https://doi.org/10.1112/jlms/s1-39.1.764aopenalex-snapshot

ELEMENTS OF MATHEMATICAL LOGIC

inferredcites →https://doi.org/10.1305/ndjfl/1093956424openalex-snapshot

An extension algebra and the modal system ${\rm T}$.

inferredcites →https://doi.org/10.1305/ndjfl/1093957582openalex-snapshot

A final note on S$1\deg$ and the Brouwerian axioms.

inferredcites →https://doi.org/10.2307/2216837openalex-snapshot

Possible Worlds

inferredcites →https://doi.org/10.2307/2267105openalex-snapshot

A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology

inferredcites →https://doi.org/10.2307/2268135openalex-snapshot

Some theorems about the sentential calculi of Lewis and Heyting

inferredcites →https://doi.org/10.2307/2964179openalex-snapshot

New foundations for Lewis modal systems

inferredcites →https://doi.org/10.2307/2964568openalex-snapshot

A completeness theorem in modal logic

inferredcites →https://doi.org/10.3406/phlou.1937.3056openalex-snapshot

Les Logiques nouvelles des modalités

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/int.10144openalex-snapshot

On open-set lattices and some of their applications in semantics

inferred← citeshttps://doi.org/10.1002/malq.19700160303openalex-snapshot

Extensions of Makinson's Completeness Theorems in Modal Logic

inferred← citeshttps://doi.org/10.1002/malq.19720180703openalex-snapshot

An Axiomatization of Topological Boolean Algebras

inferred← citeshttps://doi.org/10.1002/malq.19730190304openalex-snapshot

A Model‐Theoretic Study of Some Systems Containing S3

inferred← citeshttps://doi.org/10.1002/malq.19760220162openalex-snapshot

Algebraic Semantics for Modal Predicate Logic

inferred← citeshttps://doi.org/10.1002/malq.19790250305openalex-snapshot

Darstellung der Lewyschen Algebren

inferred← citeshttps://doi.org/10.1002/malq.19990450409openalex-snapshot

On Finite Model Property for Admissible Rules

inferred← citeshttps://doi.org/10.1002/malq.200410022openalex-snapshot

Bounded distributive lattices with strict implication

inferred← citeshttps://doi.org/10.1002/malq.200910117openalex-snapshot

Forcing operators on MTL-algebras

inferred← citeshttps://doi.org/10.1007/10720084_17openalex-snapshot

Combining Equational Theories Sharing Non-Collapse-Free Constructors

inferred← citeshttps://doi.org/10.1007/3-540-07410-4_672openalex-snapshot

The logic of protection

inferred← citeshttps://doi.org/10.1007/3-540-45813-1_15openalex-snapshot

On the Structure of Rough Approximations

inferred← citeshttps://doi.org/10.1007/3-540-52062-7_77openalex-snapshot

Exploring the epistemic labyrinth: New directions in the formal theory of knowledge representation

inferred← citeshttps://doi.org/10.1007/978-3-031-29415-0_3openalex-snapshot

Modern Faces of Filtration

inferred← citeshttps://doi.org/10.1007/978-3-031-56595-3_10openalex-snapshot

Valuation Semantics for Some Systems of Non-normal Modal Logic

inferred← citeshttps://doi.org/10.1007/978-3-031-56595-3_7openalex-snapshot

Algebras and Relational Frames for Gödel Modal Logic and Some of its Extensions

inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_2openalex-snapshot

Saul Kripke: A Portrait of the Modal Logician as a Young Man

inferred← citeshttps://doi.org/10.1007/978-3-031-62687-6_15openalex-snapshot

Modal Hyperdoctrine: Higher-Order and Non-normal Extensions

inferred← citeshttps://doi.org/10.1007/978-3-031-74175-3_3openalex-snapshot

Vagueness, the Sorites Paradox, and Precisifications

inferred← citeshttps://doi.org/10.1007/978-3-319-52234-0_10openalex-snapshot

Complete Abstractions and Subclassical Modal Logics

inferred← citeshttps://doi.org/10.1007/978-3-476-98727-3_5openalex-snapshot

inferred← citeshttps://doi.org/10.1007/978-3-540-78499-9_6openalex-snapshot

Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics

inferred← citeshttps://doi.org/10.1007/978-3-642-56792-6_24openalex-snapshot

Ausblick

inferred← citeshttps://doi.org/10.1007/978-81-322-1812-8_54-1openalex-snapshot

A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras

inferred← citeshttps://doi.org/10.1007/978-81-322-2577-5_54openalex-snapshot

A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras

inferred← citeshttps://doi.org/10.1007/978-94-009-5203-4_3openalex-snapshot

Relevance Logic and Entailment

inferred← citeshttps://doi.org/10.1007/978-94-009-6259-0_1openalex-snapshot

Basic Modal Logic

inferred← citeshttps://doi.org/10.1007/978-94-009-8356-4_11openalex-snapshot

Modal logic, modal semantics and their applications

inferred← citeshttps://doi.org/10.1007/978-94-009-8937-5_5openalex-snapshot

Semantics for a Class of Intuitionistic Modal Calculi

inferred← citeshttps://doi.org/10.1007/978-94-010-2191-3_1openalex-snapshot

Semantic Analyses for Dyadic Deontic Logic

inferred← citeshttps://doi.org/10.1007/978-94-017-0454-0_2openalex-snapshot

Advanced Modal Logic

inferred← citeshttps://doi.org/10.1007/978-94-017-0460-1_1openalex-snapshot

Relevance Logic

inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_7openalex-snapshot

Logic KM: A Biography

inferred← citeshttps://doi.org/10.1007/978-981-96-8566-0_8openalex-snapshot

This Time As Grandfather

inferred← citeshttps://doi.org/10.1007/bf00370431openalex-snapshot

An algebraic study of well-foundedness

inferred← citeshttps://doi.org/10.1007/bf00370682openalex-snapshot

Amalgamation and interpolation in normal modal logics

inferred← citeshttps://doi.org/10.1007/bf00405386openalex-snapshot

First-order indefinite and uniform neighbourhood semantics

inferred← citeshttps://doi.org/10.1007/bf00935596openalex-snapshot

On regular modal logics with axiom □ ⊤ → □□ ⊤

inferred← citeshttps://doi.org/10.1007/bf01061239openalex-snapshot

Positive modal logic

inferred← citeshttps://doi.org/10.1007/bf01141204openalex-snapshot

Critical modal logics containing the Brouwer axiom

inferred← citeshttps://doi.org/10.1007/bf01152828openalex-snapshot

Kripke semantics for modal systems including S4.3

inferred← citeshttps://doi.org/10.1007/bf01195536openalex-snapshot

Combination problems for commutative/monoidal theories or how algebra can help in equational unification

inferred← citeshttps://doi.org/10.1007/bf01196091openalex-snapshot

Power structures

inferred← citeshttps://doi.org/10.1007/bf01669284openalex-snapshot

Noncompact extensions of the logicS4

inferred← citeshttps://doi.org/10.1007/bf01877236openalex-snapshot

Hereditarily finitely axiomatizable extensions of logic S4

inferred← citeshttps://doi.org/10.1007/bf02121259openalex-snapshot

On modal logic with an intuitionistic base

inferred← citeshttps://doi.org/10.1007/bf02229771openalex-snapshot

A Leśniewskian guide to Husserl's and Meinong's Jungles

inferred← citeshttps://doi.org/10.1007/bf02229854openalex-snapshot

Antidiodorean logics and the Brentano-Husserl's conception of time

inferred← citeshttps://doi.org/10.1007/bfb0018431openalex-snapshot

Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators

inferred← citeshttps://doi.org/10.1007/bfb0064874openalex-snapshot

Abolition of the fregean axiom

inferred← citeshttps://doi.org/10.1007/s10992-004-7800-2openalex-snapshot

Validity and Necessity

inferred← citeshttps://doi.org/10.1007/s10992-015-9362-xopenalex-snapshot

An Interpretation of Łukasiewicz’s 4-Valued Modal Logic

inferred← citeshttps://doi.org/10.1007/s10992-016-9405-yopenalex-snapshot

A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach

inferred← citeshttps://doi.org/10.1007/s11225-020-09907-0openalex-snapshot

An Algebraic Study of Tense Operators on Nelson Algebras

inferred← citeshttps://doi.org/10.1007/s11225-021-09960-3openalex-snapshot

A Categorical Equivalence for Tense Nelson Algebras

inferred← citeshttps://doi.org/10.1007/s11787-017-0165-4openalex-snapshot

Interconnection of the Lattices of Extensions of Four Logics

inferred← citeshttps://doi.org/10.1007/s11787-017-0172-5openalex-snapshot

Modal Multilattice Logic

inferred← citeshttps://doi.org/10.1016/0003-4843(75)90004-2openalex-snapshot

Decidability results in non-classical logics

inferred← citeshttps://doi.org/10.1016/0168-0072(88)90021-8openalex-snapshot

Topology and duality in modal logic

inferred← citeshttps://doi.org/10.1016/0168-0072(89)90032-8openalex-snapshot

Varieties of complex algebras

inferred← citeshttps://doi.org/10.1016/0168-0072(90)90055-7openalex-snapshot

Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus

inferred← citeshttps://doi.org/10.1016/j.artint.2023.103970openalex-snapshot

Counterfactuals as modal conditionals, and their probability

inferred← citeshttps://doi.org/10.1016/j.fss.2007.05.016openalex-snapshot

Construction of rough approximations in fuzzy setting

inferred← citeshttps://doi.org/10.1016/j.ins.2004.06.006openalex-snapshot

Rough operations on Boolean algebras

inferred← citeshttps://doi.org/10.1016/s0020-7373(77)80042-4openalex-snapshot

The fuzzy decade: a bibliography of fuzzy systems and closely related topics

inferred← citeshttps://doi.org/10.1016/s0020-7373(80)80038-1openalex-snapshot

New directions in the analysis and interactive elicitation of personal construct systems

inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70041-7openalex-snapshot

Problems of Admissibility and Substitution, Logical Equations and Restricted Theories of free Algebras

inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70645-1openalex-snapshot

On some Modal Logical Systems Defined in Connexion with Jaśakowski's Problem

inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70728-6openalex-snapshot

Completeness and Correspondence in the First and Second Order Semantics for Modal Logic

inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00233-8openalex-snapshot

Duality for modal μ-logics

inferred← citeshttps://doi.org/10.1016/s0888-613x(96)00071-0openalex-snapshot

Two views of the theory of rough sets in finite universes

inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80009-7openalex-snapshot

6 Algebras and coalgebras

inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80010-3openalex-snapshot

7 Modal decision problems

inferred← citeshttps://doi.org/10.1016/s1570-8683(03)00008-9openalex-snapshot

Mathematical modal logic: A view of its evolution

inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80027-0openalex-snapshot

Mathematical modal logic: A view of its evolution

inferred← citeshttps://doi.org/10.1017/s0022481200094512openalex-snapshot

On modal logic with propositional quantifiers

inferred← citeshttps://doi.org/10.1017/s1755020310000213openalex-snapshot

POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES

inferred← citeshttps://doi.org/10.1017/s1755020317000375openalex-snapshot

STABLE MODAL LOGICS

inferred← citeshttps://doi.org/10.1023/a:1004982417404openalex-snapshot

Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics

inferred← citeshttps://doi.org/10.1023/a:1005228629540openalex-snapshot

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II

inferred← citeshttps://doi.org/10.1023/a:1005298632302openalex-snapshot

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I

inferred← citeshttps://doi.org/10.1023/a:1015111314455openalex-snapshot

On Łukasiewicz's Four-Valued Modal Logic

inferred← citeshttps://doi.org/10.1023/a:1024847106313openalex-snapshot

Squares in Fork Arrow Logic

inferred← citeshttps://doi.org/10.1080/00048406712341141openalex-snapshot

The interpretation of some Lewis systems of modal logic

inferred← citeshttps://doi.org/10.1080/03081077508960829openalex-snapshot

GENERALIZED TOPOLOGIES AND THEIR RELEVANCE TO GENERAL SYSTEM† Bibliography of Works of the č ech Topological School

inferred← citeshttps://doi.org/10.1080/03081077608934734openalex-snapshot

PROTECTION AS A GENERAL SYSTEMS PROBLEM

inferred← citeshttps://doi.org/10.1093/jigpal/jzt001openalex-snapshot

An algebraic look at filtrations in modal logic

inferred← citeshttps://doi.org/10.1093/logcom/exab068openalex-snapshot

Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics

inferred← citeshttps://doi.org/10.1093/logcom/exq022openalex-snapshot

Preservation by fibring of the finite model property

inferred← citeshttps://doi.org/10.1111/j.1755-2567.1968.tb00337.xopenalex-snapshot

Propositional Logics Related to Heyting's and Johansson's

inferred← citeshttps://doi.org/10.1111/j.1755-2567.1970.tb00428.xopenalex-snapshot

An approach to tense logic1

inferred← citeshttps://doi.org/10.1111/j.1755-2567.1970.tb00431.xopenalex-snapshot

A generalisation of the concept of a relational model for modal logic1

inferred← citeshttps://doi.org/10.1215/00294527-2023-0006openalex-snapshot

C. I. Lewis’s Intensional Semantics

inferred← citeshttps://doi.org/10.12775/llp.2009.013openalex-snapshot

Simplified Kripke style semantics for some very weak modal logics

inferred← citeshttps://doi.org/10.1305/ndjfl/1093883569openalex-snapshot

Model structures and set algebras for Sugihara matrices.

inferred← citeshttps://doi.org/10.1305/ndjfl/1093887424openalex-snapshot

Algebraic semantics for $S2^0$ and necessitated extensions.

inferred← citeshttps://doi.org/10.1305/ndjfl/1093890710openalex-snapshot

The completeness of $S1$ and some related systems.

inferred← citeshttps://doi.org/10.1305/ndjfl/1093890890openalex-snapshot

A simplified semantics for modal logic.

inferred← citeshttps://doi.org/10.1305/ndjfl/1093890906openalex-snapshot

On the extensions of $S5$.

inferred← citeshttps://doi.org/10.1305/ndjfl/1093891114openalex-snapshot

Kripke's deontic semantics again.

inferred← citeshttps://doi.org/10.1305/ndjfl/1093891304openalex-snapshot

A study of ${\scr Z}$ modal systems.

inferred← citeshttps://doi.org/10.1305/ndjfl/1093891791openalex-snapshot

$S_1\not=S0.9$.

inferred← citeshttps://doi.org/10.1305/ndjfl/1093893934openalex-snapshot

Decision procedures for Lewis system S1 and related modal systems.

inferred← citeshttps://doi.org/10.1305/ndjfl/1093958338openalex-snapshot

Some results on finite axiomatizability in modal logic.

inferred← citeshttps://doi.org/10.1305/ndjfl/1093958745openalex-snapshot

A note on Halldén-incompleteness.

inferred← citeshttps://doi.org/10.18778/0138-0680.46.1.2.09openalex-snapshot

On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1

inferred← citeshttps://doi.org/10.18778/0138-0680.46.3.4.06openalex-snapshot

Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2

inferred← citeshttps://doi.org/10.22481/intermaths.v3i2.11378openalex-snapshot

Two deductions systems for the Logic PM4N

inferred← citeshttps://doi.org/10.2307/2270978openalex-snapshot

A normal modal calculus between T and S4 without the finite model property

inferred← citeshttps://doi.org/10.2307/2271364openalex-snapshot

The inadequacy of Kripke's semantical analysis of D2 and D3

inferred← citeshttps://doi.org/10.2307/2273184openalex-snapshot

The lattice of modal logics: an algebraic investigation

inferred← citeshttps://doi.org/10.2977/prims/1195189604openalex-snapshot

On Some Intuitionistic Modal Logics

inferred← citeshttps://doi.org/10.3166/jancl.18.309-324openalex-snapshot

Non-classical operations hidden in classical logic

inferred← citeshttps://doi.org/10.3792/pja/1195519346openalex-snapshot

On a semantics for non-classical logics

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.