An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relationMORIKAWA, O.Fuzzy sets and systems. 1999, Vol 101, Num 1, pp 115-123, issn 0165-0114Article

Typed GoI for ExponentialsHAGHVERDI, Esfandiar.Lecture notes in computer science. 2006, pp 384-395, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

A different approach to deontic logic: deontic logic viewed as a variant of dynamic logicMEYER, J.-J. C.Notre Dame journal of formal logic. 1988, Vol 29, Num 1, pp 109-136, issn 0029-4527Article

Approximate truth and Łukasiewicz logicWESTON, T. S.Notre Dame journal of formal logic. 1988, Vol 29, Num 2, pp 229-234, issn 0029-4527Article

Nonstandard connectives of intuitionistic propositional logicKAMINSKI, M.Notre Dame journal of formal logic. 1988, Vol 29, Num 3, pp 309-331, issn 0029-4527Article

The modal status of antinomicsLOKHORST, G.-J. C.Notre Dame journal of formal logic. 1988, Vol 29, Num 1, pp 102-105, issn 0029-4527Article

PDL with intersection and converse is decidableLUTZ, Carsten.Lecture notes in computer science. 2005, pp 413-427, issn 0302-9743, isbn 3-540-28231-9, 15 p.Conference Paper

Propositional quantifiers in deontic logicLOKHORST, Gert-Jan C.Lecture notes in computer science. 2006, pp 201-209, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 9 p.Conference Paper

Acyclicity and coherence in multiplicative exponential linear logicPAGANI, Michele.Lecture notes in computer science. 2006, pp 531-545, issn 0302-9743, isbn 3-540-45458-6, 1Vol, 15 p.Conference Paper

The number of nonnormal extensions of S4SCHUMM, G. F.Notre Dame journal of formal logic. 1988, Vol 29, Num 1, pp 106-108, issn 0029-4527Article

Epistemic and intuitionistic formal systemsFLAGG, R. C; FRIEDMAN, H.Annals of pure and applied logic. 1986, Vol 32, Num 1, pp 53-60, issn 0168-0072Article

LTL with past and two-way very-weak alternating automataGASTIN, Paul; ODDOUX, Denis.Lecture notes in computer science. 2003, pp 439-448, issn 0302-9743, isbn 3-540-40671-9, 10 p.Conference Paper

Comments on : Some versions of intuitionistic fuzzy propositional calculus due to K. Atanassov and G. GargovEL-HAKEIM, K. M. A; ZEYADA, F. M.Fuzzy sets and systems. 2000, Vol 110, Num 3, pp 451-452, issn 0165-0114Article

A general treatment of equivalent modalitiesBELLISSIMA, F; MIROLLI, M.The Journal of symbolic logic. 1989, Vol 54, Num 4, pp 1460-1471, issn 0022-4812Article

The problem of counterpossiblesCOHEN, D. H.Notre Dame journal of formal logic. 1988, Vol 29, Num 1, pp 91-101, issn 0029-4527Article

An ¬¬almost clasical'' period-based tense logicWHITE, M. J.Notre Dame journal of formal logic. 1988, Vol 29, Num 3, pp 438-453, issn 0029-4527Article

A rationale for Aristotle's notion of perfect syllogismsFLANNERY, K. L.Notre Dame journal of formal logic. 1987, Vol 28, Num 3, pp 455-471, issn 0029-4527Article

Modality and possibility in some intuitionistic modal logicsFONT, J. M.Notre Dame journal of formal logic. 1986, Vol 27, Num 4, pp 533-546, issn 0029-4527Article

Derivability in locally quantified modal logics via translation in set theoryMONTANARI, A; POLICRITI, A; SLANINA, M et al.Lecture notes in computer science. 2000, pp 559-568, issn 0302-9743, isbn 3-540-67901-4Conference Paper

Propositional Lax LogicFAIRTLOUGH, M; MENDLER, M.Information and computation (Print). 1997, Vol 137, Num 1, pp 1-33, issn 0890-5401Article

Most general first order theorems are not recursively enumerableSCHURZ, G.Theoretical computer science. 1995, Vol 147, Num 1-2, pp 149-163, issn 0304-3975Article

On fuzzy intuitionistic logicTURUNEN, E.Kybernetika. 1992, Vol 28, pp 72-77, issn 0023-5954, SUPArticle

Some modal logics based on a three-valued logicMORIKAWA, O.Notre Dame journal of formal logic. 1989, Vol 30, Num 1, pp 130-137, issn 0029-4527Article

Modèles logiques pour le raisonnement sur les actions = Logical Models for Reasoning about ActionsCastilho, Marcos Alexandre; Farinas Del Cerro, Luis.1998, 127 p.Thesis

Conjuction and disjunction on ([0,1], ≤)TRILLAS, E; CUBILLO, S; CASTRO, J. L et al.Fuzzy sets and systems. 1995, Vol 72, Num 2, pp 155-165, issn 0165-0114Article