scientific article
From MaRDI portal
Publication:4022223
zbMath0772.03006MaRDI QIDQ4022223
Publication date: 17 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Many-valued logic (03B50)
Related Items (62)
Decidability of order-based modal logics ⋮ An exercise on the generation of many-valued dynamic logics ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ A qualitative fuzzy possibilistic logic ⋮ Tableaus for many-valued modal logic ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions ⋮ On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief ⋮ Compositional meaning in logic ⋮ Modal multilattice logic ⋮ Frame definability in finitely valued modal logics ⋮ Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) ⋮ Rough concepts ⋮ On fuzzy modal logics \(S5(\mathcal C)\) ⋮ An algebraic semantics for possibilistic finite-valued Łukasiewicz logic ⋮ A note on strong axiomatization of Gödel justification logic ⋮ Natural duality, modality, and coalgebra ⋮ A logical modeling of severe ignorance ⋮ A family of Gödel hybrid logics ⋮ Extended quantum logic ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Dynamic Łukasiewicz logic and dynamic MV-algebras ⋮ Lattice-valued modal propositional logic based on M-lattice implication algebras ⋮ Introduction ⋮ A fuzzy modal logic for fuzzy transition systems ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Propositional dynamic logic for searching games with errors ⋮ Bitopological duality for algebras of Fitting's logic and natural duality extension ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ On model checking multiple hybrid views ⋮ Expressivity in chain-based modal logics ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Continuous propositional modal logic ⋮ Multimodal epistemic Łukasiewicz logics with application in immune system ⋮ Model checking fuzzy computation tree logic ⋮ Standard Gödel modal logics ⋮ Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH ⋮ Characterisation of main classes of fuzzy relations using fuzzy modal operators ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Axiomatization of crisp Gödel modal logic ⋮ Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic ⋮ On transitive modal many-valued logics ⋮ Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic ⋮ Neighborhood semantics for modal many-valued logics ⋮ How true it is = who says it's true ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ A Duality for Algebras of Lattice-Valued Modal Logic ⋮ Paraconsistent Modal Logics ⋮ Neighbourhood semantics for FDE-based modal logics ⋮ Unnamed Item ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic ⋮ Toward a general frame semantics for modal many-valued logics ⋮ A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems ⋮ Multi-valued Verification of Strategic Ability ⋮ Branching time agents logics, satisfiability problem by rules in reduced form ⋮ An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation ⋮ Fuzzy autoepistemic logic and its relation to fuzzy answer set programming ⋮ Simulation for lattice-valued doubly labeled transition systems
This page was built for publication:
