Results 41 to 50 of about 231 (54)

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning

International Journal of Computer Mathematics, 2009
exaly  

Common knowledge revisited

Annals of Pure and Applied Logic, 1999
Ronald Fagin, Yoram Moses, Moshe Y Vardi
exaly  

A perspective on the algebra of logic

Quaestiones Mathematicae, 2011
exaly  

Topological completeness of the provability logic GLP

Annals of Pure and Applied Logic, 2013
Lev Beclemishev, David Gabelaia
exaly  

Modal operators on commutative residuated lattices

Mathematica Slovaca, 2011
exaly  

Completeness theorems for reactive modal logics

Annals of Mathematics and Artificial Intelligence, 2012
exaly  

Control of Infinite Behavior of Finite Automata

SIAM Journal on Control and Optimization, 1994
exaly  

Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis

Annals of Pure and Applied Logic, 2000
exaly  

The Complexity of Tree Automata and Logics of Programs

SIAM Journal on Computing, 1999
exaly  

Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility

International Journal of Computer Mathematics, 2009
exaly