On the public citation graph
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
0 signed · 175 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.19880340411openalex-snapshot
Many‐Valued Modal Propositional Calculi
inferredcites →https://doi.org/10.1002/malq.200610027openalex-snapshot
On witnessed models in fuzzy logic
inferredcites →https://doi.org/10.1002/malq.200710019openalex-snapshot
On witnessed models in fuzzy logic II
inferredcites →https://doi.org/10.1002/malq.200710058openalex-snapshot
A note on the first‐order logic of complete BL‐chains
inferredcites →https://doi.org/10.1007/3-540-44967-1_20openalex-snapshot
Axiomatization of Any Residuated Fuzzy Logic Defined by a Continuous T-norm
inferredcites →https://doi.org/10.1007/3-540-69778-0_20openalex-snapshot
Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities
inferredcites →https://doi.org/10.1007/978-1-4615-5261-1_3openalex-snapshot
A Fuzzy Modal Logic for Similarity Reasoning
inferredcites →https://doi.org/10.1007/978-1-4757-3627-4_3openalex-snapshot
A Survey of Residuated Lattices
inferredcites →https://doi.org/10.1007/978-3-540-75939-3_15openalex-snapshot
Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
inferredcites →https://doi.org/10.1007/978-3-642-02716-1_20openalex-snapshot
Proof Systems for a Gödel Modal Logic
inferredcites →https://doi.org/10.1007/978-3-662-03667-9_6openalex-snapshot
Logics of Knowing and Believing
inferredcites →https://doi.org/10.1007/978-94-011-5300-3openalex-snapshot
Metamathematics of Fuzzy Logic
inferredcites →https://doi.org/10.1007/978-94-017-3598-8_8openalex-snapshot
Substructural Logics and Residuated Lattices — an Introduction
inferredcites →https://doi.org/10.1007/bf00403339openalex-snapshot
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
inferredcites →https://doi.org/10.1007/bf01190734openalex-snapshot
A finite basis theorem for quasivarieties
inferredcites →https://doi.org/10.1007/s00012-008-2056-2openalex-snapshot
Completions of GBL-algebras: negative results
inferredcites →https://doi.org/10.1007/s10849-007-9051-4openalex-snapshot
Strong Completeness and Limited Canonicity for PDL
inferredcites →https://doi.org/10.1007/s11225-010-9230-1openalex-snapshot
Standard Gödel Modal Logics
inferredcites →https://doi.org/10.1016/b978-0-7204-0406-7.50009-0openalex-snapshot
an algorithm for axiomatizing every finite logic**The paper was presented at the International Symposium on Multiple-Valued Logic, Morgantown, West Virginia, U.S.A., May, 1974. An abstract of this paper is published in [3].
inferredcites →https://doi.org/10.1016/b978-1-55860-332-5.50040-7openalex-snapshot
On Modal Logics for Qualitative Possibility in a Fuzzy Setting
inferredcites →https://doi.org/10.1016/j.apal.2009.01.012openalex-snapshot
Distinguished algebraic semantics for t -norm based fuzzy logics: Methods and algebraic equivalencies
inferredcites →https://doi.org/10.1016/j.fss.2005.03.005openalex-snapshot
Making fuzzy description logic more general
inferredcites →https://doi.org/10.1016/j.fss.2006.11.010openalex-snapshot
Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results
inferredcites →https://doi.org/10.1016/j.websem.2008.04.001openalex-snapshot
Managing uncertainty and vagueness in description logics for the Semantic Web
inferredcites →https://doi.org/10.1016/s0022-4049(02)00329-8openalex-snapshot
Varieties of BL-algebras I: general properties
inferredcites →https://doi.org/10.1016/s0049-237x(07)x8002-9openalex-snapshot
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
inferredcites →https://doi.org/10.1016/s0165-0114(01)00098-7openalex-snapshot
Monoidal t-norm based logictowards a logic for left-continuous t-norms
inferredcites →https://doi.org/10.1023/a:1024621922509openalex-snapshot
A Survey of Abstract Algebraic Logic
inferredcites →https://doi.org/10.1023/b:stud.0000032084.12744.e3openalex-snapshot
Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras
inferredcites →https://doi.org/10.11575/prism/38801openalex-snapshot
Elimination of cuts in first-order finite-valued logics
inferredcites →https://doi.org/10.2178/jsl/1154698581openalex-snapshot
On theories and models in fuzzy predicate logics
inferredcites →https://doi.org/10.26181/32277900openalex-snapshot
Dualisability : unary algebras and beyond
inferredcites →https://doi.org/10.48550/arxiv.math/0612542openalex-snapshot
Completeness results for many-valued \Lukasiewicz modal systems and relational semantics
inferredcites →https://doi.org/10.7146/math.scand.a-10850openalex-snapshot
Algebras Whose Congruence Lattices are Distributive.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-54341-9_5openalex-snapshot
A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples
inferred← citeshttps://doi.org/10.1007/978-3-031-08971-8_55openalex-snapshot
Rotations of Gödel Algebras with Modal Operators
inferred← citeshttps://doi.org/10.1007/978-3-031-42441-0_1openalex-snapshot
Structured Specification of Paraconsistent Transition Systems
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-77382-2_2openalex-snapshot
Paraconsistency for the Working Software Engineer (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-031-94748-3_9openalex-snapshot
Paraconsistent Reactive Graphs
inferred← citeshttps://doi.org/10.1007/978-3-032-06085-3_8openalex-snapshot
A Gödel Modal Logic over Witnessed Crisp Models
inferred← citeshttps://doi.org/10.1007/978-3-032-30693-7_24openalex-snapshot
First Steps in a Paraconsistent Transition Systems Toolkit
inferred← citeshttps://doi.org/10.1007/978-3-319-06233-4_11openalex-snapshot
On Possibilistic Modal Logics Defined Over MTL-Chains
inferred← citeshttps://doi.org/10.1007/978-3-319-16235-5_6openalex-snapshot
A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA
inferred← citeshttps://doi.org/10.1007/978-3-319-40581-0_11openalex-snapshot
Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-40581-0_9openalex-snapshot
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-49815-7_8openalex-snapshot
On Interval Dynamic Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-66827-7_47openalex-snapshot
On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences
inferred← citeshttps://doi.org/10.1007/978-3-642-02716-1_20openalex-snapshot
Proof Systems for a Gödel Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-22152-1_53openalex-snapshot
Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence
inferred← citeshttps://doi.org/10.1007/978-3-642-31715-6_26openalex-snapshot
On Finitely Valued Fuzzy Description Logics: The Łukasiewicz Case
inferred← citeshttps://doi.org/10.1007/978-3-642-31718-7_27openalex-snapshot
Natural Means of Indistinguishability Operators
inferred← citeshttps://doi.org/10.1007/978-3-642-39165-1_31openalex-snapshot
Comparison of Different Algorithms of Approximation by Extensional Fuzzy Subsets
inferred← citeshttps://doi.org/10.1007/978-3-642-39992-3_20openalex-snapshot
A Finite Model Property for Gödel Modal Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-40206-7_7openalex-snapshot
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-47197-5_4openalex-snapshot
Finite-Chain Graded Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-52921-8_8openalex-snapshot
Expressivity of Many-Valued Modal Logics, Coalgebraically
inferred← citeshttps://doi.org/10.1007/978-3-662-59533-6_14openalex-snapshot
A Representation Theorem for Finite Gödel Algebras with Operators
inferred← citeshttps://doi.org/10.1007/s00012-024-00868-2openalex-snapshot
Natural dualities for varieties generated by finite positive MV-chains
inferred← citeshttps://doi.org/10.1007/s00153-017-0573-4openalex-snapshot
Expressivity in chain-based modal logics
inferred← citeshttps://doi.org/10.1007/s00500-016-2338-0openalex-snapshot
On strong standard completeness in some MTL $$_\Delta $$ Δ expansions
inferred← citeshttps://doi.org/10.1007/s00500-018-3369-5openalex-snapshot
Toward a general frame semantics for modal many-valued logics
inferred← citeshttps://doi.org/10.1007/s00500-019-03810-0openalex-snapshot
Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
inferred← citeshttps://doi.org/10.1007/s00500-021-05593-9openalex-snapshot
A semantics and a logic for Fuzzy Arden Syntax
inferred← citeshttps://doi.org/10.1007/s10992-022-09697-xopenalex-snapshot
A Logical Modeling of Severe Ignorance
inferred← citeshttps://doi.org/10.1007/s11225-012-9396-9openalex-snapshot
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics
inferred← citeshttps://doi.org/10.1007/s11225-015-9643-yopenalex-snapshot
Modal Definability Based on Łukasiewicz Validity Relations
inferred← citeshttps://doi.org/10.1007/s11225-017-9753-9openalex-snapshot
Disentangling FDE-Based Paraconsistent Modal Logics
inferred← citeshttps://doi.org/10.1007/s11225-020-09910-5openalex-snapshot
Axiomatization of Crisp Gödel Modal Logic
inferred← citeshttps://doi.org/10.1007/s11225-020-09925-yopenalex-snapshot
Belnap–Dunn Modal Logic with Value Operators
inferred← citeshttps://doi.org/10.1007/s11225-022-09987-0openalex-snapshot
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102790openalex-snapshot
Bilattice logic of epistemic actions and knowledge
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102830openalex-snapshot
Modal extension of ideal paraconsistent four-valued logic and its subsystem
inferred← citeshttps://doi.org/10.1016/j.apal.2023.103273openalex-snapshot
Frame definability in finitely valued modal logics
inferred← citeshttps://doi.org/10.1016/j.artint.2014.05.007openalex-snapshot
Logical characterizations of regular equivalence in weighted social networks
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.10.014openalex-snapshot
Paraconsistent Modal Logics
inferred← citeshttps://doi.org/10.1016/j.entcs.2018.10.004openalex-snapshot
A Family of Graded Epistemic Logics
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.02.006openalex-snapshot
A Fuzzy Modal Logic for Fuzzy Transition Systems
inferred← citeshttps://doi.org/10.1016/j.fss.2009.09.001openalex-snapshot
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
inferred← citeshttps://doi.org/10.1016/j.fss.2014.07.008openalex-snapshot
Model checking fuzzy computation tree logic
inferred← citeshttps://doi.org/10.1016/j.fss.2015.02.018openalex-snapshot
On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
inferred← citeshttps://doi.org/10.1016/j.fss.2017.10.009openalex-snapshot
Neighborhood semantics for modal many-valued logics
inferred← citeshttps://doi.org/10.1016/j.fss.2019.03.002openalex-snapshot
A Lindström theorem in many-valued modal logic over a finite MTL-chain
inferred← citeshttps://doi.org/10.1016/j.fss.2019.08.001openalex-snapshot
Fuzzy relational modalities admitting truth-valueless propositions
inferred← citeshttps://doi.org/10.1016/j.fss.2020.01.002openalex-snapshot
Axiomatizing logics of fuzzy preferences using graded modalities
inferred← citeshttps://doi.org/10.1016/j.fss.2020.01.011openalex-snapshot
On transitive modal many-valued logics
inferred← citeshttps://doi.org/10.1016/j.fss.2021.08.010openalex-snapshot
Algebraic semantics for the minimum many-valued modal logic over Ł
inferred← citeshttps://doi.org/10.1016/j.fss.2022.05.014openalex-snapshot
Fuzzy Halpern and Shoham's interval temporal logics
inferred← citeshttps://doi.org/10.1016/j.fss.2023.108564openalex-snapshot
Many-valued coalgebraic modal logic: One-step completeness and finite model property
inferred← citeshttps://doi.org/10.1016/j.ijar.2010.01.001openalex-snapshot
Fuzzy Description Logics and t-norm based fuzzy logics
inferred← citeshttps://doi.org/10.1016/j.ijar.2012.08.006openalex-snapshot
Logics for belief functions on MV-algebras
inferred← citeshttps://doi.org/10.1016/j.ijar.2013.09.021openalex-snapshot
On finitely-valued Fuzzy Description Logics
inferred← citeshttps://doi.org/10.1016/j.ijar.2013.11.009openalex-snapshot
Simulation for lattice-valued doubly labeled transition systems
inferred← citeshttps://doi.org/10.1016/j.ijar.2014.05.002openalex-snapshot
Interval MV-algebras and generalizations
inferred← citeshttps://doi.org/10.1016/j.ijar.2014.10.001openalex-snapshot
Lattice-valued simulations for quantitative transition systems
inferred← citeshttps://doi.org/10.1016/j.ijar.2017.11.006openalex-snapshot
On the relationship between fuzzy description logics and many-valued modal logics
inferred← citeshttps://doi.org/10.1016/j.ijar.2020.06.003openalex-snapshot
Dynamic Łukasiewicz Logic and Dynamic MV-algebras
inferred← citeshttps://doi.org/10.1016/j.ins.2013.03.015openalex-snapshot
Structural analysis of indistinguishability operators and related concepts
inferred← citeshttps://doi.org/10.1016/j.ins.2015.03.017openalex-snapshot
Permutable fuzzy consequence and interior operators and their connection with fuzzy relations
inferred← citeshttps://doi.org/10.1016/j.ins.2016.08.072openalex-snapshot
MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions
inferred← citeshttps://doi.org/10.1016/j.jal.2013.12.001openalex-snapshot
A logical framework for privacy-preserving social network publication
inferred← citeshttps://doi.org/10.1016/j.jal.2014.04.001openalex-snapshot
Propositional dynamic logic for searching games with errors
inferred← citeshttps://doi.org/10.1016/j.jcss.2017.03.012openalex-snapshot
Decidability of order-based modal logics
inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.03.004openalex-snapshot
An exercise on the generation of many-valued dynamic logics
inferred← citeshttps://doi.org/10.1016/j.jpaa.2011.07.002openalex-snapshot
Natural duality, modality, and coalgebra
inferred← citeshttps://doi.org/10.1016/j.knosys.2009.11.002openalex-snapshot
Expressive fuzzy description logics over lattices
inferred← citeshttps://doi.org/10.1016/j.scico.2019.01.007openalex-snapshot
On interval dynamic logic: Introducing quasi-action lattices
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103196openalex-snapshot
Specification of paraconsistent transition systems, revisited
inferred← citeshttps://doi.org/10.1017/bsl.2024.56openalex-snapshot
NEW FOUNDATIONS OF REASONING VIA REAL-VALUED FIRST-ORDER LOGICS
inferred← citeshttps://doi.org/10.1017/jsl.2022.32openalex-snapshot
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
inferred← citeshttps://doi.org/10.1017/s0960129525100170openalex-snapshot
Paraconsistent transition structures: compositional principles and a modal logic
inferred← citeshttps://doi.org/10.1080/03081079.2021.1998029openalex-snapshot
Fifty years of similarity relations: a survey of foundations and applications
inferred← citeshttps://doi.org/10.1080/11663081.2018.1525207openalex-snapshot
Fuzzy intensional semantics
inferred← citeshttps://doi.org/10.1080/11663081.2024.2336377openalex-snapshot
Modal reduction principles: a parametric shift to graphs
inferred← citeshttps://doi.org/10.1080/18756891.2015.1129581openalex-snapshot
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
inferred← citeshttps://doi.org/10.1088/1757-899x/1125/1/012057openalex-snapshot
Design and Development of Fuzzy Logic Control Systems on Bottled Drinking Water Pressing Equipment
inferred← citeshttps://doi.org/10.1093/jigpal/jzt043openalex-snapshot
Modal twist-structures over residuated lattices
inferred← citeshttps://doi.org/10.1093/jigpal/jzw004openalex-snapshot
Representing strategic games and their equilibria in many-valued logics
inferred← citeshttps://doi.org/10.1093/logcom/exae046openalex-snapshot
Modal weak Kleene logics: axiomatizations and relational semantics
inferred← citeshttps://doi.org/10.1093/logcom/exv038openalex-snapshot
Four-valued modal logic: Kripke semantics and duality
inferred← citeshttps://doi.org/10.1093/logcom/exv046openalex-snapshot
On modal extensions of Product fuzzy logic
inferred← citeshttps://doi.org/10.1093/logcom/exv081openalex-snapshot
Modal extensions of Łukasiewicz logic for modelling coalitional power
inferred← citeshttps://doi.org/10.1109/fuzz-ieee.2017.8015703openalex-snapshot
On the relation between modal and multi-modal logics over Łukasiewicz logic
inferred← citeshttps://doi.org/10.1109/fuzz45933.2021.9494454openalex-snapshot
A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems
inferred← citeshttps://doi.org/10.1109/fuzz52849.2023.10309760openalex-snapshot
A Reasoning System for Time and Vagueness
inferred← citeshttps://doi.org/10.1109/fuzz62266.2025.11152105openalex-snapshot
Intuitionistic Fuzzy Logic and Prelinearity: Benefit from Multiplicative Disjunction and Infinitesimal
inferred← citeshttps://doi.org/10.1109/fuzzy.2010.5584114openalex-snapshot
From classical Description Logic to n-graded Fuzzy Description Logic
inferred← citeshttps://doi.org/10.1109/ifsa-nafips.2013.6608582openalex-snapshot
On classic-like fuzzy modal logics
inferred← citeshttps://doi.org/10.1109/ismvl.2010.23openalex-snapshot
Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters
inferred← citeshttps://doi.org/10.1109/ismvl.2019.00029openalex-snapshot
Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic
inferred← citeshttps://doi.org/10.1109/ismvl57333.2023.00018openalex-snapshot
An Inductive Construction for Many-Valued Coalgebraic Modal Logic
inferred← citeshttps://doi.org/10.1109/lics.2013.50openalex-snapshot
Kripke Semantics for Modal Bilattice Logic
inferred← citeshttps://doi.org/10.1109/tfuzz.2014.2321593openalex-snapshot
Approximating Arbitrary Fuzzy Subsets by Extensional Ones
inferred← citeshttps://doi.org/10.1109/tfuzz.2015.2426724openalex-snapshot
Fuzzy Bisimulation for Gödel Modal Logic
inferred← citeshttps://doi.org/10.1142/9789814619998_0059openalex-snapshot
SEMANTICS OF PROPOSITIONAL FUZZY MODAL LOGIC WITH EVALUATED SYNTAX BASED ON MV-ALGEBRAS
inferred← citeshttps://doi.org/10.1145/3733832openalex-snapshot
On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
inferred← citeshttps://doi.org/10.13039/501100003329openalex-snapshot
On the orientation of Thracian Dolmens
inferred← citeshttps://doi.org/10.1609/aimag.v35i3.2524openalex-snapshot
A Survey of Artificial Intelligence Research at IIIA
inferred← citeshttps://doi.org/10.2168/lmcs-7(2:10)2011openalex-snapshot
Towards a Proof Theory of G\"odel Modal Logics
inferred← citeshttps://doi.org/10.2168/lmcs-9(4:8)2013openalex-snapshot
Relation lifting, with an application to the many-valued cover modality
inferred← citeshttps://doi.org/10.2298/fil2303711sopenalex-snapshot
Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras
inferred← citeshttps://doi.org/10.24963/kr.2021/54openalex-snapshot
Decidability and Complexity of Some Finitely-valued Dynamic Logics
inferred← citeshttps://doi.org/10.29007/12bbopenalex-snapshot
Four-valued modal logic: Kripke semantics and duality
inferred← citeshttps://doi.org/10.2991/eusflat-19.2019.100openalex-snapshot
Modelling competing theories
inferred← citeshttps://doi.org/10.2991/ifsa-eusflat-15.2015.11openalex-snapshot
Lower Approximations by Fuzzy Consequence Operators
inferred← citeshttps://doi.org/10.3233/faia200156openalex-snapshot
An Approach to Fuzzy Modal Logic of Time Intervals
inferred← citeshttps://doi.org/10.3233/fi-2013-799openalex-snapshot
Gödel Homomorphisms as Gödel Modal Operators
inferred← citeshttps://doi.org/10.3233/fi-2014-1122openalex-snapshot
Quantitative Analysis of Lattice-valued Kripke Structures
inferred← citeshttps://doi.org/10.3233/fi-2020-1920openalex-snapshot
Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
inferred← citeshttps://doi.org/10.3390/axioms11070341openalex-snapshot
Graded Many-Valued Modal Logic and Its Graded Rough Truth
inferred← citeshttps://doi.org/10.4204/eptcs.358.20openalex-snapshot
A Logic for Paraconsistent Transition Systems
inferred← citeshttps://doi.org/10.4204/eptcs.421.8openalex-snapshot
Paraconsistent Relations as a Variant of Kleene Algebras
inferred← citeshttps://doi.org/10.46298/lmcs-20(3:6)2024openalex-snapshot
Many-valued coalgebraic logic over semi-primal varieties
inferred← citeshttps://doi.org/10.46338/ijetae0822_19openalex-snapshot
Mask Covered Face Recognition Using Haar Cascade Classifier and Fuzzy Logic
inferred← citeshttps://doi.org/10.48550/arxiv.1403.0932openalex-snapshot
Interval MV-algebras and generalizations
inferred← citeshttps://doi.org/10.48550/arxiv.1411.6452openalex-snapshot
Modal Extensions of Łukasiewicz Logic for Modeling Coalitional Power
inferred← citeshttps://doi.org/10.48550/arxiv.1908.04816openalex-snapshot
The logic of vague categories
inferred← citeshttps://doi.org/10.48550/arxiv.2012.12133openalex-snapshot
Finitely-valued propositional dynamic logic
inferred← citeshttps://doi.org/10.5555/2591370.2591386openalex-snapshot
Kripke Semantics for Modal Bilattice Logic
inferred← citeshttps://doi.org/10.5591/978-1-57735-516-8/ijcai11-136openalex-snapshot
Finite-valued Lukasiewicz modal logic Is PSPACE-complete
inferred← citeshttps://doi.org/10.5591/978-1-57735-516-8/ijcai11-173openalex-snapshot
Reasoning about fuzzy belief and common belief: with emphasis on incomparable beliefs
inferred← citeshttps://doi.org/10.5821/dissertation-2117-96314openalex-snapshot
Contribució a l'estudi dels conjunts extensionals de les relacions d'indistingibilitat i la seva aplicació a la representació d'imatges de ressonància magnètica
inferred← citeshttps://doi.org/10.70675/a810a9c8zea1bz4f1dz89bbz75ac7b5a8406openalex-snapshot
The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra
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.