Results 161 to 169 of about 1,065 (169)

A note on modal logic and possibility theory

Information Sciences, 2014
Lotfi A Zadeh
exaly  

Expressivity of coalgebraic modal logic: The limits and beyond

Theoretical Computer Science, 2008
Lutz Schröder
exaly  

MOLOG: A system that extends PROLOG with modal logic

New Generation Computing, 1986
Luis Fariñas del Cerro
exaly  

Willem Blok and Modal Logic

Studia Logica, 2006
F Wolter
exaly  

Application of modal logic to programming

Studia Logica, 1980
Vaughan R Pratt
exaly  

Provability interpretations of modal logic

Israel Journal of Mathematics, 1976
exaly  

The modal logic of provability. The sequential approach

Journal of Philosophical Logic, 1982
exaly  

A study of modal logic with semantics based on rough set theory

Journal of Applied Non-Classical Logics
Md Aquil Khan
exaly  

On modal logic with an intuitionistic base

Studia Logica, 1977
exaly