Graded modalities. I
From MaRDI portal
Publication:1065786
DOI10.1007/BF00379767zbMath0577.03004MaRDI QIDQ1065786
M. Fattorosi-Barnaba, Francesco de Caro
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items
On Composing Finite Forests with Modal Logics, Logic Programming with Graded Modality, Complexity of modal logics with Presburger constraints, Graded modalities. II. (Canonical models), Normal predicative logics with graded modalities, Model theoretical aspects of weakly aggregative modal logic, Graded modalities. III: The completeness and compactness of \(S4^ 0\), Typology of axioms for a weighted modal logic, COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND, Modal logics and local quantifiers: a zoo in the elementary hierarchy, A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, Comparative study of variable precision rough set model and graded rough set model, General canonical models for graded normal logics. (Graded modalities. IV), Some considerations on the logics PFD A logic combining modality and probability, Models of nondeterministic regular expressions, Introducing Polymodal Neighbourhood Logics, Unnamed Item, Finite-Chain Graded Modal Logic, The Modality of Finite (Graded Modalities VII), DYNAMIC GRADED EPISTEMIC LOGIC, Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations, Logics of Belief over Weighted Structures, Do We Need Mathematical Facts?, Linear-time temporal logics with Presburger constraints: an overview ★, An essay in combinatory dynamic logic, Decidability by filtrations for graded normal logics. (Graded modalities. V), On the undecidability of logics with converse, nominals, recursion and counting
Cites Work
