Graded modalities. I

DOI10.1007/BF00379767zbMATH Open0577.03004MaRDI QIDQ1065786FDOQ1065786

Authors: M. Fattorosi-Barnaba, Francesco de Caro 

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 487145
• scientific article; zbMATH DE number 597803
• Modal operators for rational grading
• scientific article; zbMATH DE number 589751
• Completeness and decidability results for some propositional modal logics containing ``actually operators

zbMATH Keywords

modal logiccomplete axiomatizationmodal operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Cites Work

• Title not available (Why is that?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidability results in non-classical logics

Cited In (32)

• Title not available (Why is that?)
• Granularity and rational approximation: rethinking graded rough sets
• Normal predicative logics with graded modalities
• Model theoretical aspects of weakly aggregative modal logic
• DYNAMIC GRADED EPISTEMIC LOGIC
• Comparative study of variable precision rough set model and graded rough set model
• Some considerations on the logics P_FD A logic combining modality and probability
• Title not available (Why is that?)
• Finite-Chain Graded Modal Logic
• Complexity of modal logics with Presburger constraints
• Modal logics and local quantifiers: a zoo in the elementary hierarchy
• Decidability by filtrations for graded normal logics. (Graded modalities. V)
• Title not available (Why is that?)
• Linear-time temporal logics with Presburger constraints: an overview
• An essay in combinatory dynamic logic
• Typology of axioms for a weighted modal logic
• Logics of belief over weighted structures
• Models of nondeterministic regular expressions
• Introducing Polymodal Neighbourhood Logics
• The Modality of Finite (Graded Modalities VII)
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
• A study of modal logic with semantics based on rough set theory
• On Composing Finite Forests with Modal Logics
• Graded modalities. II. (Canonical models)
• Do We Need Mathematical Facts?
• Graded modalities. III: The completeness and compactness of \(S4^ 0\)
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
• Logic Programming with Graded Modality
• Completeness and decidability results for some propositional modal logics containing ``actually operators
• On the undecidability of logics with converse, nominals, recursion and counting
• General canonical models for graded normal logics. (Graded modalities. IV)
• COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND

This page was built for publication: Graded modalities. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1065786)