Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Logique modale")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1221

  • Page / 49
Export

Selection :

  • and

Conjunctive normal forms and weak modal logics without the axiom of necessityOHAMA, S.Notre Dame journal of formal logic. 1984, Vol 25, Num 2, pp 141-151, issn 0029-4527Article

Dynamic squaresBLACKBURN, P; VENEMA, Y.Journal of philosophical logic. 1995, Vol 24, Num 5, pp 469-523, issn 0022-3611Article

Extension de la coopération entre agents à la déduction distribuée: application à l'environnement multi-agent synergic = Extending agents cooperation to distributed deduction: an application to the synergic multi-agent environmentCevallos Sakdavong-Cevallos Rivas, Nancy Del R; Vignolle, J.1994, 300 p.Thesis

Modal logic: A-completeness met up againBAILHACHE, Patrice.Logica trianguli. 1997, Num 1, pp 3-14, issn 1293-1934, 12 p.Article

Inclusionism and the Problem of Unmarried HusbandsCLARK, Michael J.Erkenntnis. 2010, Vol 73, Num 1, pp 123-131, issn 0165-0106, 9 p.Article

Résolution modale et logique des cheminsAuffray, Yves; Enjalbert, M.1989, 148 p.Thesis

Essentialism and Modal LogicDUMITRU, M.Revue roumaine des sciences sociales. Série philosophie et logique. 1990, Vol 34, Num 1-2, pp 12-16, issn 0035-4031Article

Sur certains problèmes liés à l'application des logiques modalesKICZUK, S.Roczniki Filozoficzne. 1986, Vol 34, Num 1, pp 289-307Article

Generalised sequent calculus for propositional modal logicsINDRZEJCZAK, Andrzej.Logica trianguli. 1997, Num 1, pp 15-31, issn 1293-1934, 17 p.Article

The True Modal LogicMENZEL, C.Journal of philosophical logic. 1991, Vol 20, Num 4, pp 331-374, issn 0022-3611Article

THE MODAL LOGIC OF FORCINGHAMKINS, Joel David; LOWE, Benedikt.Transactions of the American Mathematical Society. 2008, Vol 360, Num 4, pp 1793-1817, issn 0002-9947, 25 p.Article

Ease and Difficulty : a Modal Logic with Deontic ApplicationsDENYER, N.Theoria. 1990, Vol 56, Num 1-2, pp 42-61, issn 0040-5825Article

Über den Begriff von möglicher Welt in den Anwendungen der ModallogikGALVAN, S.Poznán studies in the philosophy of the sciences and the humanities. 1988, Vol 11, pp 67-71, issn 0303-8157Article

Sequent-systems for modal logicDOSEN, K.The Journal of symbolic logic. 1985, Vol 50, Num 1, pp 149-168, issn 0022-4812Article

Introduction to guarded logicsRÄSCH, Thoralf.Lecture notes in computer science. 2002, pp 321-341, issn 0302-9743, isbn 3-540-00388-6, 21 p.Conference Paper

Linear reasoning in modal logicFITTING, M.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1363-1378, issn 0022-4812Article

Hauptsatz for higher-order modal logicNISHIMURA, H.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 744-751, issn 0022-4812Article

Topics in Modal LogicStudia logica. 1990, Vol 49, Num 2, pp 163-282, issn 0039-3215Serial Issue

Algebraic semantics for quasi-classical modal logicsBLOK, W. J; KOHLER, P.The Journal of symbolic logic. 1983, Vol 48, Num 4, pp 941-964, issn 0022-4812Article

Some Descending Chains of Incomplete Modal LogicsMING XU.Journal of philosophical logic. 1991, Vol 20, Num 3, pp 265-283, issn 0022-3611Article

On the relationship between one-point frames and degrees of unsatisfiability of modal formulasBELLISSIMA, F.Notre Dame journal of formal logic. 1984, Vol 25, Num 2, pp 117-126, issn 0029-4527Article

A MODAL THEORY OF FUNCTIONNANAY, Bence.The Journal of philosophy. 2010, Vol 107, Num 8, pp 412-431, issn 0022-362X, 20 p.Article

Dicing with Saul KripkeBIANCHI, Andrea.Erkenntnis. 2010, Vol 73, Num 2, pp 237-249, issn 0165-0106, 13 p.Article

De l'action à l'intention: vers une caractérisation formelle des agents = From action to intention: towards a formal characterization of agentsSEGUIN, Christel; FARINAS DEL CERRO, Luis.1992, 166 p.Thesis

An extended joint consistency theorem for a family of free modal logics with equalityGUMB, R. D.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 174-183, issn 0022-4812Article

  • Page / 49