Results 171 to 180 of about 986 (188)

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  

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  

A finite model construction for coalgebraic modal logic

The Journal of Logic and Algebraic Programming, 2007
Lutz Schröder
exaly