researchr - search publication modal logic

researchr

You are not signed in
Sign in
Sign up

2216 publication results matching 'modal logic'

On Modal Logic, IF Logic, and IF Modal LogicTero Tulenheimo, Merlijn Sevenster. aiml 2006: 481-501 [doi]
Modal logicRichard Spencer-Smith. air, 5(1-2):5-34, 1991. [doi]
Modal LogicAlexander V. Chagrov, Michael Zakharyaschev. Volume 35 of Oxford logic guides, Oxford University Press, 1997.
Modal LogicPatrick Blackburn, Maarten de Rijke, Yde Venema. Volume 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2001. [doi]
Modality, Si! Modal Logic, No!John McCarthy. sLogica, 59(1):29-32, 1997.
Description Logics and Modal LogicsMaarten de Rijke. dlog 1998: [doi]
Modal Logic in the Modal Sense of ModalityJohn P. Burgess. In Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces, editors, Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Volume 5 of Ontos Mathematical Logic, pages 51-72, De Gruyter, 2015. [doi]
Investigations into Quantified Modal LogicYannis Stephanou. ndjfl, 43(4):193-220, 2002.
Modal Logics of Knowledge and TimRon van der Meyden. time 2003: 5 [doi]
Well-Behaved Modal LogicsHarold T. Hodes. JSYML, 49(4):1393-1402, 1984.
The Problem of Interpreting Modal LogicW. V. Quine. JSYML, 12(2):43-48, 1947.
Specifying coalgebras with modal logicAlexander Kurz. TCS, 260(1-2):119-138, 2001. [doi]
A Hybridization of Irreflexive Modal LogicsSano Katsuhiko. ENTCS, 174(6):95-111, 2007. [doi]
The Modal Logic of Pure ProvabilitySamuel R. Buss. ndjfl, 31(2):225-231, 1990.
Modal Logics for Cryptographic ProcessesHans Hüttel. ENTCS, 68(6):1-18, 2002. [doi]
Specifying Coalgebras with Modal LogicAlexander Kurz. ENTCS, 11:56-70, 1998. [doi]
A Comparative Fuzzy Modal LogicPetr Hájek, Dagmar Harmancová. ogai 1993: 27-34
Positive modal logicJ. Michael Dunn. sLogica, 55(2):301-317, 1995.
Many-valued modal logicsMelvin Fitting. FUIN, 15(3-4):235-254, 1991.
On Quantified Modal LogicMelvin Fitting. FUIN, 39(1-2):105-121, 1999.

Sign in or sign up to see more results.

runs on WebDSL