Robert Harper - 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]

Reasoning with Levels of Modalities in BDI LogicJeff Blee, David Billington, Abdul Sattar. prima 2009: 410-415 [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]

Topological Modal Logics with Difference ModalityAndrey Kudinov. aiml 2006: 319-332 [doi]

A Modal Extension of Weak Generalisation Predicate LogicFrancisco Kibedi, George Tourlakis. igpl, 14(4):591-621, 2006. [doi]

The modal logic of continuous functions on cantor spacePhilip Kremer. AML, 45(8):1021-1032, 2006. [doi]

Deep Sequent Systems for Modal LogicKai Brünnler. aiml 2006: 107 [doi]

Distributed Control Flow with Classical Modal LogicTom Murphy VII, Karl Crary, Robert Harper. csl 2005: 51-69 [doi]

QMML: Quantified Minimal Modal Logic and Its ApplicationsAudun Stolpe. igpl, 11(5):557-575, 2003. [doi]

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

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

From modal logic to terminal coalgebrasMartin Rö. TCS, 260(1-2):209-228, 2001. [doi]

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

A Benchmark Method for the Propositional Modal Logics K, KT, S4Peter Balsiger, Alain Heuerding, Stefan Schwendimann. JAR, 24(3):297-317, 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.

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]

A Co-Variety-Theorem for Modal LogicAlexander Kurz. aiml 2000: 367-380

Intra-Agent Modality and Nonmonotonic Epistemic LogicRichmond H. Thomason. tark 1998: 57-69

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

On the Complexity of Prefix Formulas in Modal Logic of Subset SpacesBernhard Heinemann. lfcs 1997: 145-155

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.

On the Modal Logic K Plus TheoriesAlain Heuerding, Stefan Schwendimann. csl 1996: 308-319

Modal and Temporal Logics for ProcessesColin Stirling. banff 1996: 149-237

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.

A Note on Non-Monotonic Modal LogicRobert Stalnaker. ai, 64(2):183-196, 1993.

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

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

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

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

Lesniewski s Strategy and Modal LogicJohn T. Kearns. ndjfl, 30(2):291-307, 1989.

An Introduction to Modal and Temporal Logics for CCSColin Stirling. concur 1991: 2-20

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 Problem of Interpreting Modal LogicW. V. Quine. JSYML, 12(2):43-48, 1947.

runs on WebDSL