scientific article; zbMATH DE number 35414
From MaRDI portal
Publication:3989936
zbMATH Open0745.03018MaRDI QIDQ3989936FDOQ3989936
Authors: Melvin Fitting 
Publication date: 28 June 1992
Title of this publication is not available (Why is that?)
Recommendations
completenessKripke modelssoundnesspossible worldmany-valued modal logicsGentzen sequent calculiaccessibility relation between worlds
Cited In (only showing first 100 items - show all)
- Effectiveness and multivalued logics
- Fuzzy Halpern and Shoham's interval temporal logics
- Bilattice logic of epistemic actions and knowledge
- A four-valued dynamic epistemic logic
- A qualitative fuzzy possibilistic logic
- Title not available (Why is that?)
- Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations
- Title not available (Why is that?)
- Multimodal epistemic Łukasiewicz logics with application in immune system
- Many-valued reflexive autoepistemic logic
- Tableaus with invertible rules for many-valued modal propositional logics
- Extended quantum logic
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Natural duality, modality, and coalgebra
- Axiomatization of crisp Gödel modal logic
- Expressivity in chain-based modal logics
- Storage Operators and Multiplicative Quantifiers in Many-valued Logics
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
- Title not available (Why is that?)
- Propositional dynamic logic for searching games with errors
- A Hennessy-Milner property for many-valued modal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some multi-conclusion modal paralogics
- Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory
- Neighbourhood semantics for FDE-based modal logics
- An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation
- Many-valued hybrid logic
- How true it is = who says it's true
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
- On transitive modal many-valued logics
- Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
- On a multilattice analogue of a hypersequent S5 calculus
- Kripke‐style semantics for many‐valued logics
- A family of graded epistemic logics
- Many-valued logics and bivalent modalities
- Continuous propositional modal logic
- A fuzzy modal logic for fuzzy transition systems
- Decidability of order-based modal logics
- On fuzzy modal logics \(S5(\mathcal C)\)
- Many-valued multi-modal logics, satisfiability problem
- Many-valued modal logics: Uses and predicate calculus
- Canonicity and completeness results for many-valued modal logics
- Characterisation of main classes of fuzzy relations using fuzzy modal operators
- Many-valued hybrid logic
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
- Neighborhood semantics for modal many-valued logics
- Paraconsistent modal logics
- On the relationship between fuzzy description logics and many-valued modal logics
- Many-valued logics
- Multi-dimensional modal logic
- Many-valued modal logics: a simple approach
- Compositional meaning in logic
- Modal multilattice logic
- Standard Gödel modal logics
- Many-valued and Kripke semantics
- Latticed Simulation Relations and Games
- Exploring a syntactic notion of modal many-valued logics
- A family of Gödel hybrid logics
- Frame constructions, truth invariance and validity preservation in many-valued modal logic
- On Gentzen relations associated with finite-valued logics preserving degrees of truth
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- Tableaus for many-valued modal logic
- Logical characterizations of regular equivalence in weighted social networks
- A note on strong axiomatization of Gödel justification logic
- A completeness theorem for continuous predicate modal logic
- Institutional semantics for many-valued logics
- Many-Valued Modal Propositional Calculi
- A Duality for Algebras of Lattice-Valued Modal Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lattice-valued modal propositional logic based on M-lattice implication algebras
- An exercise on the generation of many-valued dynamic logics
- Title not available (Why is that?)
- Autoreferential semantics for many-valued modal logics
- Bitopological duality for algebras of Fitting's logic and natural duality extension
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- Many-valued coalgebraic modal logic: one-step completeness and finite model property
- Title not available (Why is that?)
- On \(K\)-modal BL-logics
- Frame definability in finitely valued modal logics
- Belnap-Dunn modal logic with value operators
- Many-valued coalgebraic logic over semi-primal varieties
- Modular many-valued semantics for combined logics
- A logical modeling of severe ignorance
- Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions
- Title not available (Why is that?)
- Relation-changing models meet paraconsistency
- A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
- Title not available (Why is that?)
- Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
- Subformula property in many-valued modal logics
- From intuitionism to many-valued logics through Kripke models
- Many-valued logic and sequence arguments in value theory
- Many-valued modalities and paraconsistency
- Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
- Two traditions in abstract valuational model theory
- From Kripke to neighborhood semantics for modal fuzzy logics
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)
