scientific article; zbMATH DE number 35414
From MaRDI portal
Publication:3989936
Recommendations
Cited in
(only showing first 100 items - show all)- How true it is = who says it's true
- An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation
- A qualitative fuzzy possibilistic logic
- Multi-dimensional modal logic
- Extended quantum logic
- Many-valued multi-modal logics, satisfiability problem
- Compositional meaning in logic
- Modal multilattice logic
- A completeness theorem for continuous predicate modal logic
- On the relationship between fuzzy description logics and many-valued modal logics
- Expressivity in chain-based modal logics
- Neighborhood semantics for modal many-valued logics
- Tableaus with invertible rules for many-valued modal propositional logics
- Tableaus for many-valued modal logic
- Bilattice logic of epistemic actions and knowledge
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Logical characterizations of regular equivalence in weighted social networks
- Axiomatization of crisp Gödel modal logic
- On transitive modal many-valued logics
- Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
- Neighbourhood semantics for FDE-based modal logics
- Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions
- A note on strong axiomatization of Gödel justification logic
- Dynamic Łukasiewicz logic and dynamic MV-algebras
- A fuzzy modal logic for fuzzy transition systems
- A Lindström theorem in many-valued modal logic over a finite MTL-chain
- A four-valued dynamic epistemic logic
- Bitopological duality for algebras of Fitting's logic and natural duality extension
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Belnap-Dunn modal logic with value operators
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
- Toward a general frame semantics for modal many-valued logics
- A family of graded epistemic logics
- Decidability of order-based modal logics
- An exercise on the generation of many-valued dynamic logics
- Retracted article: ``A completeness theorem for continuous predicate modal logic
- Lattice-valued modal propositional logic based on M-lattice implication algebras
- Institutional semantics for many-valued logics
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
- Some multi-conclusion modal paralogics
- Characterisation of main classes of fuzzy relations using fuzzy modal operators
- From intuitionism to many-valued logics through Kripke models
- Graded epistemic logic with public announcement
- MTV logics
- Paraconsistent modal logics
- A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
- A quantitative method for multi-valued modal logics
- On K-modal BL-logics
- Many-valued modal logics: Uses and predicate calculus
- Many-valued hybrid logic
- scientific article; zbMATH DE number 6099698 (Why is no real title available?)
- On a multilattice analogue of a hypersequent S5 calculus
- Latticed Simulation Relations and Games
- A Direct Algorithm for Multi-valued Bounded Model Checking
- Many-valued modal logics: a simple approach
- Exploring a syntactic notion of modal many-valued logics
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
- A Duality for Algebras of Lattice-Valued Modal Logic
- Frame constructions, truth invariance and validity preservation in many-valued modal logic
- Autoreferential semantics for many-valued modal logics
- Canonicity and completeness results for many-valued modal logics
- On Gentzen relations associated with finite-valued logics preserving degrees of truth
- scientific article; zbMATH DE number 4029509 (Why is no real title available?)
- Modelling inexact utility theory in a multi-valued logic of approximation
- Many-Valued Modal Propositional Calculi
- scientific article; zbMATH DE number 4101146 (Why is no real title available?)
- scientific article; zbMATH DE number 1189102 (Why is no real title available?)
- scientific article; zbMATH DE number 97789 (Why is no real title available?)
- Natural duality, modality, and coalgebra
- scientific article; zbMATH DE number 1252395 (Why is no real title available?)
- scientific article; zbMATH DE number 1343459 (Why is no real title available?)
- Subformula property in many-valued modal logics
- scientific article; zbMATH DE number 1735909 (Why is no real title available?)
- scientific article; zbMATH DE number 1140578 (Why is no real title available?)
- Many-valued reflexive autoepistemic logic
- Kripke‐style semantics for many‐valued logics
- scientific article; zbMATH DE number 2060762 (Why is no real title available?)
- scientific article; zbMATH DE number 1775492 (Why is no real title available?)
- scientific article; zbMATH DE number 6841178 (Why is no real title available?)
- Many-valued hybrid logic
- A Hennessy-Milner property for many-valued modal logics
- Continuous propositional modal logic
- Propositional dynamic logic for searching games with errors
- scientific article; zbMATH DE number 1836056 (Why is no real title available?)
- scientific article; zbMATH DE number 1858068 (Why is no real title available?)
- Storage Operators and Multiplicative Quantifiers in Many-valued Logics
- The strict/tolerant family continued: quantifiers and modalities
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- THE LOGIC OF SEQUENCE FRAMES
- scientific article; zbMATH DE number 7559483 (Why is no real title available?)
- Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
- From Kripke to neighborhood semantics for modal fuzzy logics
- Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
- Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations
- Multimodal epistemic Łukasiewicz logics with application in immune system
- General approach to many valued Kripke models
- Effectiveness and multivalued logics
- Many-valued and Kripke semantics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3989936)
