Results 51 to 60 of about 261 (63)

Classically Complete Modal Relevant Logics

Mathematical Logic Quarterly, 1993
E. Mares
semanticscholar   +1 more source

Modal Sequents for Normal Modal Logics

Mathematical Logic Quarterly, 1993
C. Cerrato
semanticscholar   +1 more source

The Completeness of S4

, 2014
A. Hamal
semanticscholar   +1 more source

Polymodal Lattices and Polymodal Logic

Mathematical Logic Quarterly, 1996
J. Bell
semanticscholar   +1 more source

Investigations on Fragments of First Order Branching Temporal Logic

Mathematical Logic Quarterly, 2002
F. Montagna, G. Pinna, E. Tiezzi
semanticscholar   +1 more source

Cut-elimination Theorems for Some Infinitary Modal Logics

Mathematical Logic Quarterly, 2001
Yoshihito Tanaka
semanticscholar   +1 more source

An Infinitary Graded Modal Logic (Graded Modalities VI)

Mathematical Logic Quarterly, 1995
Maurizio Fattorosi-Barnaba, Silvano Grassotti   +1 more
semanticscholar   +1 more source

Communication in Awareness Reaching Consensus Without Acyclic Condition II

International Conference on Computational Intelligence and Security, 2004
K. Horie, T. Matsuhisa
semanticscholar   +1 more source

Modal Tree-Sequents

Mathematical Logic Quarterly, 1996
C. Cerrato
semanticscholar   +1 more source

p-Belief Communication Leading to a Nash Equilibrium

International Conference on Computational Intelligence and Security, 2004
T. Matsuhisa
semanticscholar   +1 more source