The following pages link to (Q4022223):
Displayed 50 items.
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Multimodal epistemic Łukasiewicz logics with application in immune system (Q521734) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← links)
- On fuzzy modal logics \(S5(\mathcal C)\) (Q622028) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory (Q965912) (← links)
- How true it is = who says it's true (Q1015490) (← links)
- An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation (Q1302220) (← links)
- A qualitative fuzzy possibilistic logic (Q1344258) (← links)
- Extended quantum logic (Q1411360) (← links)
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief (Q1677044) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Modal multilattice logic (Q1682294) (← links)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Neighborhood semantics for modal many-valued logics (Q1795204) (← links)
- Tableaus for many-valued modal logic (Q1896755) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Logical characterizations of regular equivalence in weighted social networks (Q2014930) (← links)
- Axiomatization of crisp Gödel modal logic (Q2021571) (← links)
- On transitive modal many-valued logics (Q2035340) (← links)
- Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic (Q2035639) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- Wanted dead or alive: epistemic logic for impure simplicial complexes (Q2148776) (← links)
- Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions (Q2157603) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← links)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- Dynamic Łukasiewicz logic and dynamic MV-algebras (Q2206432) (← links)
- A fuzzy modal logic for fuzzy transition systems (Q2219078) (← links)
- Bitopological duality for algebras of Fitting's logic and natural duality extension (Q2231653) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic (Q2317511) (← links)
- Toward a general frame semantics for modal many-valued logics (Q2317513) (← links)
- Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127) (← links)
- Fuzzy autoepistemic logic and its relation to fuzzy answer set programming (Q2351607) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Lattice-valued modal propositional logic based on M-lattice implication algebras (Q2440191) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- Characterisation of main classes of fuzzy relations using fuzzy modal operators (Q2486052) (← links)
- Paraconsistent Modal Logics (Q2825416) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH (Q3580668) (← links)