WOLLIC 2009 - PDF Preprint Papers

WOLLIC 2009 Workshop on Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed WOLLIC-2009 Paper

click to vote

WOLLIC
2009
Springer

210views Artificial Intelligence» more WOLLIC 2009»

: An Action-Based Logic for Reasoning about Contracts

14 years 7 months ago

Download folk.uio.no

Abstract. This paper presents a new version of the CL contract speciﬁcation language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...

Cristian Prisacariu, Gerardo Schneider

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	210	: An Action-Based Logic for Reasoning about Contracts	claim
2	205	Classic-Like Analytic Tableaux for Finite-Valued Logics	claim
3	156	Property Driven Three-Valued Model Checking on Hybrid Automata	claim
4	153	Sound and Complete Tree-Sequent Calculus for Inquisitive Logic	claim
5	151	An Independence Relation for Sets of Secrets	claim
6	144	Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus	claim
7	143	The Arrow Calculus as a Quantum Programming Language	claim
8	140	Observational Completeness on Abstract Interpretation	claim
9	136	Recognizability in the Simply Typed Lambda-Calculus	claim
10	133	Ludics and Its Applications to Natural Language Semantics	claim
11	131	Deep Inference in Bi-intuitionistic Logic	claim
12	117	Knowledge, Time, and Logical Omniscience	claim
13	108	On-the-Fly Macros	claim
14	108	Algebraic Valuations as Behavioral Logical Matrices	claim
15	107	Team Logic and Second-Order Logic	claim
16	105	Query Answering in Description Logics: The Knots Approach	claim
17	103	Logic-Based Probabilistic Modeling	claim
18	88	Mathematical Logic for Life Science Ontologies	claim
19	84	Spoilt for Choice: Full First-Order Hierarchical Decompositions	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers