Search results for "multi-modal logics"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Takashi Matsuhisa	No Trade under Rational Expectations in Economy (A Multi-modal Logic Approach).	ICCSA	2004	DBLP DOI BibTeX RDF	No trade theorem, Exchange economy under uncertainty, Rational expectations equilibrium, Multi-modal logics, Distributed knowledge
2	Frédéric Koriche	A Logic for Approximate First-Order Reasoning.	CSL	2001	DBLP DOI BibTeX RDF	resource-bounded algorithms, first-order logic, approximate reasoning, multi-modal logics
1	Sergey Babenyshev, Vladimir V. Rybakov	Describing Evolutions of Multi-Agent Systems.	KES	2009	DBLP DOI BibTeX RDF	multi-agent systems, satisfiability, decision algorithms, Kripke semantics, multi-modal logics
1	Radu Mardare, Alberto Policriti	A Complete Axiomatic System for a Process-Based Spatial Logic.	MFCS	2008	DBLP DOI BibTeX RDF
1	Bernhard Möller	Knowledge and Games in Modal Semirings.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Jennifer M. Davoren	Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.	LFCS	2007	DBLP DOI BibTeX RDF
1	Riccardo Rosati	Multi-modal nonmonotonic logics of minimal knowledge.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68T30
1	Tim French	Bisimulation Quantified Logics: Undecidability.	FSTTCS	2005	DBLP DOI BibTeX RDF
1	Valentin Goranko, Bruce M. Kapron	The modal logic of the countable random frame.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
1	Rajeev Goré, Lan Duy Nguyen	CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security.	Java Card Workshop	2000	DBLP DOI BibTeX RDF	security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics
1	Harald Ganzinger, Christoph Meyer, Margus Veanes	The Two-Variable Guarded Fragment with Transitive Relations.	LICS	1999	DBLP DOI BibTeX RDF	Two-Variable First-Order Logics, Modal Logics, Transitivity, Guarded Fragment
1	Jeremy E. Dawson, Rajeev Goré	A Mechanisation of Classical Modal Tense Logics Using Isabelle.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF	logics for knowledge and belief, display logic, sequent calculus, automated deduction, hybrid logics, tense logic
1	Guido Governatori	Labelled Tableaux for Multi-Modal Logics.	TABLEAUX	1995	DBLP BibTeX RDF
1	Françoise Debart, Patrice Enjalbert, Madeleine Lescot	Multi-Modal Logic Programming using Equational and Order-Sorted Logic.	ALP	1990	DBLP DOI BibTeX RDF	Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification
1	Hans Jürgen Ohlbach	New Ways for Developing Proof Theories for First-Order Multi Modal Logics.	CSL	1989	DBLP DOI BibTeX RDF	Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic