scholarly journals Graded Modalities and Resource Bisimulation

1999 ◽  
pp. 381-393 ◽  
Author(s):  
Flavio Corradini ◽  
Rocco De Nicola ◽  
Anna Labella
Keyword(s):  
Graded Modalities

Graded modalities. I

Studia Logica ◽  
1985 ◽  
Vol 44 (2) ◽  
pp. 197-221 ◽  
Author(s):  
M. Fattorosi-Barnaba ◽  
F. De Caro
Keyword(s):  
Graded Modalities

Graded modalities. III (the completeness and compactness of S40)

Studia Logica ◽  
1988 ◽  
Vol 47 (2) ◽  
pp. 99-110 ◽  
Author(s):  
M. Fattorosi-Barnaba ◽  
C. Cerrato
Keyword(s):  
Graded Modalities

Graded modalities, II (canonical models)

Studia Logica ◽  
1988 ◽  
Vol 47 (1) ◽  
pp. 1-10 ◽  
Author(s):  
Francesco De Caro
Keyword(s):  
Canonical Models ◽  
Graded Modalities

scholarly journals Extended Graded Modalities in Strategy Logic

2016 ◽  
Vol 218 ◽  
pp. 1-14 ◽  
Author(s):  
Benjamin Aminof ◽  
Vadim Malvone ◽  
Aniello Murano ◽  
Sasha Rubin
Keyword(s):  
Strategy Logic ◽  
Graded Modalities

Translating Graded Modalities into Predicate Logics

1996 ◽  
pp. 253-291 ◽  
Author(s):  
H. J. Ohlbach ◽  
R. Schmidt ◽  
U. Hustadt
Keyword(s):  
Graded Modalities

On Lukasiewicz Modifier Logic

2005 ◽  
Vol 9 (5) ◽  
pp. 506-510 ◽  
Author(s):  
Jorma K. Mattila ◽  
Keyword(s):  
Logical System ◽  
Graded Modalities

Algebras of so-called simple modifiers are considered, we create a logical system of modifiers based on Lukasiewicz' many-valued logic together with modifier algebras, then we find connections to graded modalities.

Modifier Logics Based on Graded Modalities

2003 ◽  
Vol 7 (2) ◽  
pp. 72-78 ◽  
Author(s):  
Jorma K. Mattila ◽  
Keyword(s):  
Modal Logics ◽  
Formal Semantic ◽  
Fuzzy Topology ◽  
Topological Semantics ◽  
Modal Operators ◽  
Operator Systems ◽  
Multimodal Logics ◽  
Interior Operator ◽  
Graded Modalities

Modifier logics are considered as generalizations of "classical" modal logics. Thus modifier logics are so-called multimodal logics. Multimodality means here that the basic logics are modal logics with graded modalities. The interpretation of modal operators is more general, too. Leibniz’s motivating semantical ideas (see [8], p. 20-21) give justification to these generalizations. Semantics of canonical frames forms the formal semantic base for modifier logics. Several modifier systems are given. A special modifier calculus is combined from some "pure" modifier logics. Creating a topological semantics to this special modifier logic may give a basis to some kind of fuzzy topology. Modifier logics of S4-type modifiers will give a graded topological interior operator systems, and thus we have a link to fuzzy topology.

An Infinitary Graded Modal Logic (Graded Modalities VI)

1995 ◽  
Vol 41 (4) ◽  
pp. 547-563 ◽  
Author(s):  
Maurizio Fattorosi-Barnaba ◽  
Silvano Grassotti
Keyword(s):  
Modal Logic ◽  
Graded Modalities

Normal predicative logics with graded modalities

Studia Logica ◽  
1988 ◽  
Vol 47 (1) ◽  
pp. 11-22
Author(s):  
Francesco De Caro
Keyword(s):  
Graded Modalities
Sign in / Sign up

Export Citation Format

Share Document