M4M Osuna - day by day program
Thursday 10 November - morning
- 9:00 - 9:45 registration and coffee
- 9:45 - 10:45 Marcelo Finger. A Modal view of Probabilistic Logic
- 10:45 - 11:15 Carlos Areces and Daniel Gorin. Unsorted functional translations
- 11:15 - 11:45 coffee break
- 11:45 - 12:15 Philippe Balbiani, Valentin Goranko and Guido Sciavicco. Two sorted Point-Interval Temporal Logics
- 12:15 - 12:45 Umberto Rivieccio. Paraconsistent modal logics
- 12:45 - 13:15 Piotr Kazmierczak, Truls Pedersen and Thomas Agotnes. NorMC: a Norm Compliance Temporal Logic Model Checker
- 13:15 - 15:30 (lunch break)
Thursday 10 November - afternoon
- 15:30 - 16:00 James Hales, Tim French and Rowan Davies. Computational Methods for Refinement Quantified Logics of Knowledge
- 16:00 - 16:30 John Mccabe-Dansted. A Rooted Tableau for BCTL*
- 16:30 - 17:00 Kohei Kishida. Neighborhood-Sheaf Semantics for First-Order Modal Logic
- 17:00 - 17:30 coffee break
- 17:30 - 18:00 Thomas Meyer, Ivan Varzinczak and Arina Britz. Preferential Reasoning for Modal Logic
- 18:00 - 19:00 David Gabelaia. The d-semantics of Modal Logic
- (dinner)
Friday 11 November - morning (LAMAS)
- 9:15 - 10:15 Andreas Herzig. Propositional assignments, announcements, and their applications to logics of action and agency
- 10:15 - 10:45 Emiliano Lorini and Frederic Moisan. An Epistemic Logic of Extensive Games
- 10:45 - 11:15 Dario Della Monica, Margherita Napoli and Mimmo Parente. On a Logic for Coalitional Games with Priced-Resource Agents
- 11:15 - 11:45 coffee break
- 11:45 - 12:15 Dimitar Guelev and Mads Dam. An Epistemic Predicate CTL* for Finite Control pi-Processes
- 12:15 - 12:45 Jeremy Seligman. Open and closed questions in decision making
- 12:45 - 13:15 Jeremy Seligman. A logical model of the dynamics of peer pressure
- 13:15 - 15:00 (lunch break)
Friday 11 November - afternoon
- 15:00 - 15:30 Sreejith A V. Expressive completeness for LTL with modulo counting and group operators
- 15:30 - 16:00 François Schwarzentruber. LotrecScheme
- 16:00 - 16:30 Felix Bou and Joost Joosten. The closed fragment of IL is PSPACE hard
- 16:30 - 17:00 Guillaume Aucher, Bastien Maubert and François Schwarzentruber. Tableau Method and NEXPTIME-Completeness of DEL-Sequents
- 17:00 - 17:30 coffee break
- 17:30 - 18:00 Fabio Papacchini and Renate A. Schmidt. A Tableau Calculus for Minimal Modal Model Generation
- 18:00 - 19:00 Melvin Fitting. Nested Sequents for Intuitionistic Logics
- 20:30 - 22:30 Conference dinner
Saturday 12 November - morning
- 9:45 - 10:15 Mark Kaminski and Gert Smolka. Clausal Tableaux for Hybrid PDL
- 10:15 - 10:45 Ahmet Kara and Thomas Schwentick. Expressiveness of Hybrid Temporal Logic on Data Words
- 10:45 - 11:15 Nikolay Shilov, Natalia Garanina and Sang Yong Han. From Formal Concept Analysis to Description Logic and back to Concept Lattices
- 11:15 - 11:45 coffee break
- 11:45 - 12:15 Enrico Franconi, Yazmin Angelica Ibanez Garcia and Inanc Seylan. Query Answering with DBoxes is Hard
- 12:15 - 13:15 Yde Venema, Coalgebra Automata
- closing
- (lunch)