Results 291 to 300 of about 19,016 (311)

Fuzzy Bisimulation for Gödel Modal Logic

IEEE Transactions on Fuzzy Systems, 2015
Tuan-Fang Fan
exaly  

The Computational Complexity of Provability in Systems of Modal Propositional Logic

SIAM Journal on Computing, 1977
Richard E Ladner
exaly  

Structural Damage Detection Using Modal Curvature and Fuzzy Logic

Structural Health Monitoring, 2009
Ranjan Ganguli
exaly  

A propositional modal logic of time intervals

Journal of the ACM, 1991
Joseph Y Halpern, Yoav Shoham, Halpernjoseph Y   +2 more
exaly  

Expressivity of coalgebraic modal logic: The limits and beyond

Theoretical Computer Science, 2008
Lutz Schröder
exaly  

On Modal Logic, IF Logic, and IF Modal Logic

2006
Tulenheimo, Tero, Sevenster, Merlijn
openaire   +3 more sources

A note on modal logic and possibility theory

Information Sciences, 2014
Lotfi A Zadeh
exaly  

Specifying coalgebras with modal logic

Theoretical Computer Science, 2001
Alexander Kurz
exaly  

Paraconsistent logic from a modal viewpoint

Journal of Applied Logic, 2005
Jean-Yves Béziau
exaly  

MOLOG: A system that extends PROLOG with modal logic

New Generation Computing, 1986
Luis Fariñas DEL CERRO
exaly