scientific article
From MaRDI portal
Publication:3989936
zbMath0745.03018MaRDI QIDQ3989936
Publication date: 28 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessKripke modelssoundnesspossible worldmany-valued modal logicsGentzen sequent calculiaccessibility relation between worlds
Related Items
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 ⋮ Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions ⋮ Retracted article: ``A completeness theorem for continuous predicate modal logic ⋮ Graded epistemic logic with public announcement ⋮ 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\) ⋮ On K-modal BL-logics ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ On fuzzy modal logics \(S5(\mathcal C)\) ⋮ A note on strong axiomatization of Gödel justification logic ⋮ Natural duality, modality, and coalgebra ⋮ Relation-changing models meet paraconsistency ⋮ Latticed Simulation Relations and Games ⋮ A logical modeling of severe ignorance ⋮ A family of Gödel hybrid logics ⋮ From Kripke to Neighborhood Semantics for Modal Fuzzy Logics ⋮ Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic ⋮ 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 ⋮ A completeness theorem for continuous predicate modal logic ⋮ Introduction ⋮ A fuzzy modal logic for fuzzy transition systems ⋮ A Direct Algorithm for Multi-valued Bounded Model Checking ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Propositional dynamic logic for searching games with errors ⋮ A four-valued dynamic epistemic logic ⋮ 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 ⋮ Expressivity in chain-based modal logics ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Continuous propositional modal logic ⋮ Belnap-Dunn modal logic with value operators ⋮ Multimodal epistemic Łukasiewicz logics with application in immune system ⋮ A dissimilarity-based framework for generating inconsistency-tolerant logics ⋮ 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 ⋮ Unnamed Item ⋮ Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic ⋮ Unnamed Item ⋮ 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 ⋮ Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic ⋮ 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 ⋮ 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 ⋮ A family of graded epistemic logics ⋮ An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation