Search results for "Modal and temporal logics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Michael Fisher, Richard Owens	An Introduction to Executable Modal and Temporal Logics.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Andreas Nonnengart	Resolution-Based Calculi for Modal and Temporal Logics.	CADE	1996	DBLP DOI BibTeX RDF
2	Michael Fisher, Richard Owens (eds.)	Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings	Executable Modal and Temporal Logics	1995	DBLP BibTeX RDF
2	Christoph Brzoska	Temporal Logic Programming with Metric and Past Operators.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Jana Koehler, Ralf Treinen	Constraint Deduction in an Interval-based Temporal Logic.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Thom W. Frühwirth	Temporal Logic and Annotated Constraint Logic Programming.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Marcos Cavalcanti	Solving Air-Traffic Problems with "Possible Worlds".	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Shinji Kono	A Combination of Clausal and Non Clausal Temporal Logic Programs.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Nienke den Haan	Investigations into the Applications of Deontic Logic.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Stephan Merz	Efficiently Executable Temporal Logic Programs.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Mark Reynolds	Towards First-Order Concurrent METATEM.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Michael Fisher	Towards a Semantics for Concurrent METATEM.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
2	Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens	METATEM: A Framework for Programming in Temporal Logic.	REX Workshop	1989	DBLP DOI BibTeX RDF	Non-procedural Languages, Verification, Specification, Logic Programming, Prototyping, Synthesis, Reactive Systems, Rule-based Systems, Mechanical Verification, Modal and Temporal Logics
1	Julian Gutierrez, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
1	Julian Gutierrez	Logics and Bisimulation Games for Concurrency, Causality and Conflict.	FOSSACS	2009	DBLP DOI BibTeX RDF	Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
1	Christoph Schubert	Terminal Coalgebras for Measure-Polynomial Functors.	TAMC	2009	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification.	J. Log. Comput.	2008	DBLP DOI BibTeX RDF
1	Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli	A comprehensive combination framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	modal and description logics, decision procedures, Combination, higher-order logic, satisfiability modulo theory
1	Nikos Gorogiannis, Mark Ryan	Minimal refinements of specifications in modal and temporal logics.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF
1	Nikos Gorogiannis, Mark Ryan	Minimal refinements of specifications in modal and temporal logics.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF
1	S. Mardaev	Definable fixed points in modal and temporal logics : A survey.	Journal of Applied Non-Classical Logics	2007	DBLP BibTeX RDF
1	Pieter J. L. Cuijpers	On Bicontinuous Bisimulation and the Preservation of Stability.	HSCC	2007	DBLP DOI BibTeX RDF
1	Claudio Castellini	Automated reasoning in quantified modal and temporal logics.	AI Commun.	2006	DBLP BibTeX RDF
1	Naijun Zhan	Connecting Algebraic and Logical Descriptions of Concurrent Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Claudio Castellini	Automated Reasoning in Quantified Modal and Temporal Logics.	Intelligenza Artificiale	2005	DBLP BibTeX RDF
1	Stéphane Demri, Hans de Nivelle	Deciding Regular Grammar Logics with Converse Through First-Order Logic.	Journal of Logic, Language and Information	2005	DBLP DOI BibTeX RDF	relational translation, 2-variable fragment, guarded fragment, modal and temporal logics
1	Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff	Hybrid Logics on Linear Structures: Expressivity and Complexity. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Valentin B. Shehtman	Products of Modal Logics. Part 3: Products of Modal and Temporal Logics.	Studia Logica	2002	DBLP DOI BibTeX RDF
1	Jean-Marie Le Bars	The 0-1 law fails for frame satisfiability of propositional modal logic.	LICS	2002	DBLP DOI BibTeX RDF	Computational Complexity, Finite Model Theory, Modal and Temporal Logics
1	Georg Gottlob, Erich Grädel, Helmut Veith	Datalog LITE: a deductive query language with linear time model checking.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	guarded logics, verification, Complexity, databases, temporal logics
1	Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher	Normal Forms and Proofs in Combined Modal and Temporal Logics.	FroCos	2000	DBLP DOI BibTeX RDF
1	Hiroshi Nakano	A Modality for Recursion.	LICS	2000	DBLP DOI BibTeX RDF	Lambda and Combinatory Caluculi, Type Systems and Type Theory, Specifications, Modal and Temporal Logics, Logics of Programs
1	Enrico Giunchiglia, Armando Tacchella	System Description: *SAT: A Platform for the Development of Modal Decision Procedures.	CADE	2000	DBLP DOI BibTeX RDF
1	John F. Phillips	A Note on the Modal and Temporal Logics for N-Dimensional Spacetime.	Notre Dame Journal of Formal Logic	1998	DBLP BibTeX RDF
1	Valentin Goranko	Hierarchies of Modal and Temporal Logics with Reference Pointers.	Journal of Logic, Language and Information	1996	DBLP DOI BibTeX RDF
1	Colin Stirling	Modal and Temporal Logics for Processes.	Banff Higher Order Workshop	1995	DBLP DOI BibTeX RDF
1	Colin Stirling	An Introduction to Modal and Temporal Logics for CCS.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
1	Hubert Wagener	On the Emptiness Problem of Tree Automata and Completeness of Modal Logics of Programs.	CSL	1988	DBLP DOI BibTeX RDF
1	Colin Stirling	Temporal logics for CCS.	REX Workshop	1988	DBLP DOI BibTeX RDF	Key-words transition systems, temporal logic, modal logic, CCS