scientific article; zbMATH DE number 97789
From MaRDI portal
Publication:4022223
Recommendations
Cited in
(82)- How true it is = who says it's true
- The logic of viewpoints
- An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation
- A qualitative fuzzy possibilistic logic
- Extended quantum logic
- Modal deduction in second-order logic and set theory. II
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
- Compositional meaning in logic
- Modal multilattice 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 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
- Modelling socio-political competition
- Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
- Neighbourhood semantics for FDE-based modal logics
- Wanted dead or alive: epistemic logic for impure simplicial complexes
- 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
- Bitopological duality for algebras of Fitting's logic and natural duality extension
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
- Toward a general frame semantics for modal many-valued logics
- Branching time agents logics, satisfiability problem by rules in reduced form
- Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
- Simulation for lattice-valued doubly labeled transition systems
- Decidability of order-based modal logics
- An exercise on the generation of many-valued dynamic logics
- Lattice-valued modal propositional logic based on M-lattice implication algebras
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
- Characterisation of main classes of fuzzy relations using fuzzy modal operators
- Paraconsistent modal logics
- A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
- On a multilattice analogue of a hypersequent S5 calculus
- Many-valued modal logics: a simple approach
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
- A Duality for Algebras of Lattice-Valued Modal Logic
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
- Many-Valued Modal Propositional Calculi
- scientific article; zbMATH DE number 35414 (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 1735909 (Why is no real title available?)
- scientific article; zbMATH DE number 6841178 (Why is no real title available?)
- Continuous propositional modal logic
- Propositional dynamic logic for searching games with errors
- Multi-valued verification of strategic ability
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- Multimodal epistemic Łukasiewicz logics with application in immune system
- Model checking fuzzy computation tree logic
- Measures of refutability and metric on multi-valued expert statements in adaptive methods of construction of logical decision functions
- scientific article; zbMATH DE number 6290307 (Why is no real title available?)
- General approach to many valued Kripke models
- Introduction
- Frame definability in finitely valued modal logics
- Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
- Rough concepts
- An algebraic semantics for possibilistic finite-valued Łukasiewicz logic
- A logical modeling of severe ignorance
- On fuzzy modal logics \(S5(\mathcal C)\)
- A family of Gödel hybrid logics
- Modal reduction principles: a parametric shift to graphs
- Many-valued coalgebraic modal logic: one-step completeness and finite model property
- Many-valued modalities and paraconsistency
- A Gödel modal logic over witnessed crisp models
- New foundations of reasoning via real-valued first-order logics
- Modal weak Kleene logics: axiomatizations and relational semantics
- Weak Belnapian modal logic
- On the theory of epistemic Łukasiewicz logic corresponding to the Chang algebra with application in immune system
- Modal reduction principles across relational semantics
- Many-valued modal logic
- Intuitionistic hybrid logic: introduction and survey
- On model checking multiple hybrid views
- Standard Gödel modal logics
- Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory
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 Q4022223)
