Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged modal logic

A Lindström characterisation of the guarded fragment and of modal logic with a global modalityMartin Otto, Robert Piro. aiml 2008: 273-287 [doi]

A Hybridization of Irreflexive Modal LogicsSano Katsuhiko. ENTCS, 174(6):95-111, 2007. [doi]

On Modal Grzegorczyk LogicLarisa Maksimova. FUIN, 81(1-3):203-210, 2007. [doi]

A Deep Inference System for the Modal Logic S5Phiniki Stouppa. sLogica, 85(2):199-214, 2007. [doi]

A Modal Interpretation of the Logic of InterrogationRani Nelken, Chung-chieh Shan. jolli, 15(3):251-271, 2006. [doi]

Evidence Reconstruction of Epistemic Modal Logic S5Natalia Rubtsova. csr 2006: 313-321 [doi]

First-Order Classical Modal LogicHoracio L. Arló-Costa, Eric Pacuit. sLogica, 84(2):171-210, 2006. [doi]

A General-Purpose Forward Deduction Engine for Modal LogicsShinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng. kes 2005: 739-745 [doi]

Layered Clausal Resolution in the Multi-modal Logic of Beliefs and GoalsM. Jamshid Bagherzadeh, S. Arun-Kumar. lpar 2005: 544-559 [doi]

Modal Logics of Knowledge and TimRon van der Meyden. time 2003: 5 [doi]

A Modal Logic for Coalitional Power in GamesMarc Pauly. logcom, 12(1):149-166, 2002. [doi]

Modal Logics for Cryptographic ProcessesHans Hüttel. ENTCS, 68(6):1-18, 2002. [doi]

Cut-elimination Theorems for Some Infinitary Modal LogicsYoshihito Tanaka. mlq, 47(3):327-339, 2001. [doi]

Specifying coalgebras with modal logicAlexander Kurz. TCS, 260(1-2):119-138, 2001. [doi]

Model Existence in Non-Compact Modal LogicYoshihito Tanaka. sLogica, 67(1):61-73, 2001.

First-order Non-monotonic Modal LogicsMichael Kaminski, Guy Rey. FUIN, 42(3-4):303-333, 2000.

Elementary Classes in Basic Modal LogicHolger Sturm. sLogica, 64(2):193-213, 2000.

A Modal Logic for Non-Deterministic Discourse ProcessingTim Fernando. jolli, 8(4):445-468, 1999.

A PSpace Algorithm for Graded Modal LogicStephan Tobies. cade 1999: 52-66 [doi]

Modal Logics That Need Very Large FramesMarcus Kracht. ndjfl, 40(2):141-173, 1999.

On Quantified Modal LogicMelvin Fitting. FUIN, 39(1-2):105-121, 1999.

Topological Modal Logics Satisfying Finite Chain ConditionsBernhard Heinemann. ndjfl, 39(3):406-421, 1998.

A Note on the Modal and Temporal Logics for N-Dimensional SpacetimeJohn F. Phillips. ndjfl, 39(4):545-553, 1998.

Specifying Coalgebras with Modal LogicAlexander Kurz. ENTCS, 11:56-70, 1998. [doi]

Comparison of Theorem Provers for Modal Logics - Introduction and SummaryPeter Balsiger, Alain Heuerding. tableaux 1998: 25-26 [doi]

Modal Logics for Local and Global Similarity RelationsAna Deneva, Dimiter Vakarelov. FUIN, 31(3/4):295-304, 1997.

A Nonmonotonic Modal Formalization of the Logic of Acceptance and RejectionAnna Gomolinska. sLogica, 58(1):113-127, 1997.

Mechanising a modal logic for value-passing agents in HOLMonica Nesi. ENTCS, 5:31-46, 1996. [doi]

An Infinitary Graded Modal Logic (Graded Modalities VI)Maurizio Fattorosi-Barnaba, Silvano Grassotti. mlq, 41:547-563, 1995.

Positive modal logicJ. Michael Dunn. sLogica, 55(2):301-317, 1995.

Modalities in Vector LogicEduardo Mizraji. ndjfl, 35(2):272-283, 1994.

Refutation systems in modal logicValentin Goranko. sLogica, 53(2):299-324, 1994.

Towards a Modal Logic of Durative ActionsStuart Kent. imperial 1993: 183-194

A Comparative Fuzzy Modal LogicPetr Hájek, Dagmar Harmancová. ogai 1993: 27-34

Identity in modal logic theorem provingFrancis Jeffry Pelletier. sLogica, 52(2):291-308, 1993.

Cut-free Systems for some Modal Logics Containing S4Tatsuya Shimura. rml, 26:39-65, 1992.

More on modal aspects of default logicV. Wiktor Marek, Miroslaw Truszczynski. FUIN, 17(1-2):99-116, 1992.

Time and Modality in the Logic of AgencyBrian F. Chellas. sLogica, 51(3/4):485-518, 1992.

Parallel Action: Concurrent Dynamic Logic with Independent ModalitiesRobert Goldblatt. sLogica, 51(3/4):551-578, 1992.

Gentzen-Type Calculi for Modal Logic S4 with Barcan FormulaAida Pliuskeviciene. lpar 1992: 381-390

Many-valued modal logicsMelvin Fitting. FUIN, 15(3-4):235-254, 1991.

The Modal Logic of Pure ProvabilitySamuel R. Buss. ndjfl, 31(2):225-231, 1990.

Natural Deduction in Normal Modal LogicJohn Hawthorn. ndjfl, 31(2):263-273, 1990.

Modal Logics for Knowledge Representation SystemsDimiter Vakarelov. ershov 1989: 257-277

Well-Behaved Modal LogicsHarold T. Hodes. JSYML, 49(4):1393-1402, 1984.

Hauptsatz for Higher-Order Modal LogicHirokazu Nishimura. JSYML, 48(3):744-751, 1983.

On the Proof Theory of the Modal Logic for Arithmetic ProvabilityDaniel Leivant. JSYML, 46(3):531-538, 1981.

The Modal Logic of ProgramsZohar Manna, Amir Pnueli. icalp 1979: 385-409

First-Order Definability in Modal LogicRobert Goldblatt. JSYML, 40(1):35-40, 1975.

The Problem of Interpreting Modal LogicW. V. Quine. JSYML, 12(2):43-48, 1947.

runs on WebDSL