-
1
-
-
0040241326
-
A uniform tableau method for intuitionistic modal logics I*
-
G. Amati and F. Pirri. A uniform tableau method for intuitionistic modal logics I*. Studia Logica, 53(1):29-60, 1994.
-
(1994)
Studia Logica
, vol.53
, Issue.1
, pp. 29-60
-
-
Amati, G.1
Pirri, F.2
-
2
-
-
51249186937
-
Models for normal intuitionistic modal logics
-
M. Bozic and K. Dosen. Models for normal intuitionistic modal logics. Studia Logica, 43:217-245, 1984.
-
(1984)
Studia Logica
, vol.43
, pp. 217-245
-
-
Bozic, M.1
Dosen, K.2
-
4
-
-
0347006812
-
The elimination theorem when modality is present
-
H.B. Curry. The elimination theorem when modality is present. The Journal of Symbolic Logic, 17:249-265, 1952.
-
(1952)
The Journal of Symbolic Logic
, vol.17
, pp. 249-265
-
-
Curry, H.B.1
-
5
-
-
84958966109
-
-
Technical Report 133-95, Dipartimento di Scienze dell'Informazione, Universith degli Studi di Milan_9
-
M. Ferrari. Cut-free tableau calculi for some intuitionistie modal logics. Technical Report 133-95, Dipartimento di Scienze dell'Informazione, Universith degli Studi di Milan_9 1995.
-
(1995)
Cut-Free Tableau Calculi for Some Intuitionistie Modal Logics
-
-
Ferrari, M.1
-
7
-
-
3042876857
-
An intuitionistic modal logic with applications to the formal verification of hardware
-
LNCS Springer-Verlag, editor, Kazimierz, Poland
-
M. Fairtlough and M. Mendler. An intuitionistic modal logic with applications to the formal verification of hardware. In LNCS Springer-Verlag, editor, Proceedings of Computer Science Logic "94, Kazimierz, Poland, pages 354-368, 1994.
-
(1994)
Proceedings of Computer Science Logic "94
, pp. 354-368
-
-
Fairtlough, M.1
Mendler, M.2
-
8
-
-
0011353145
-
On modal logics with an intuitionistic base
-
G. Fischer Servi. On modal logics with an intuitionistic base. Studia Logica, 36:141-149, 1977.
-
(1977)
Studia Logica
, vol.36
, pp. 141-149
-
-
Fischer Servi, G.1
-
9
-
-
0001728158
-
Axiomatizations for some intuitionistie modal logics
-
G. Fischer Servi. Axiomatizations for some intuitionistie modal logics. Rend. Sem. Mat. Univers. Polit. Torino, 42:179-194, 1984.
-
(1984)
Rend. Sem. Mat. Univers. Polit. Torino
, vol.42
, pp. 179-194
-
-
Fischer Servi, G.1
-
11
-
-
84906349084
-
Constrained proofs: A logic for dealing with behavioural constraints in formal hardware verification
-
G.Jones and M.Sheerml, editors, Springer
-
M. Mendler. Constrained proofs: A logic for dealing with behavioural constraints in formal hardware verification. In G.Jones and M.Sheerml, editors, Designing Correct Circuits, pages 1-28. Springer, 1990.
-
(1990)
Designing Correct Circuits
, pp. 1-28
-
-
Mendler, M.1
-
13
-
-
0002529210
-
How to avoid duplications in refutation systems for intuitionistie logic and Kuroda logic
-
K. Broda, M. D' Agostino, R. Gore, R. Johnson, and S. Reeves, editors, Abingdon, U.K., May 4-6
-
P. Miglioli, U. Moscato, and M. Ornaghi. How to avoid duplications in refutation systems for intuitionistie logic and Kuroda logic. In K. Broda, M. D' Agostino, R. Gore, R. Johnson, and S. Reeves, editors, Proceedings of the 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 169-187. Abingdon, U.K., May 4-6 1994.
-
(1994)
Proceedings of the 3Rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods
, pp. 169-187
-
-
Miglioli, P.1
Moscato, U.2
Ornaghi, M.3
-
15
-
-
0001804204
-
-
J.Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge, Morgan-Kaufmann
-
G. Plotkin and C. Stifling. A framework for intuitionistic modal logic. In J.Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge, pages 399-406. Morgan-Kaufmann, 1986.
-
(1986)
A Framework for Intuitionistic Modal Logic
, pp. 399-406
-
-
Plotkin, G.1
Stifling, C.2
|